Description: If the function F is strictly positive on a set of positive measure, then the integral of the function is positive. (Contributed by Mario Carneiro, 30-Aug-2014)
Ref | Expression | ||
---|---|---|---|
Hypotheses | itg2gt0.1 | |
|
itg2gt0.2 | |
||
itg2gt0.3 | |
||
itg2gt0.4 | |
||
itg2gt0.5 | |
||
Assertion | itg2gt0 | |