リップグロスのお薦め　その３

0≦x≦1において連続な関数f(x)で、
0＜a≦1を満たす任意の実数aに対して
　|∫[0,a]f(x)dx| ≧ |f(a)|
が成り立つものとする。
このとき、f(x)は恒等的に0であることを示せ。

ひゃっほ〜い！
1000！