[問題]
f:[0,1] → R は f(0)=f(1)=0を満たす滑らかな関数とするとき、次を示せ.
∫^1_0 |f'(x) x|^2 dx < 2 ∫^1_0 |f(x)|^2 dx