→ wickeday :{x:f(x)>0} is open in [a,b] 05/14 22:31
推 zombiea :f may not be conti 05/14 23:59
→ zombiea :write f=f_+ - f_-, reduce to f is positive 05/15 00:01
→ zombiea :then get contradiction via go through the defini. 05/15 00:01