[a.b]で連続な関数f(x)が、f(x)≧0であり、またコウトウ的に0でないならば、int_a ^b f(x)dx＞0であることを示せという問題です。どなたか教えて下さい。