f は C^2 級、f(0) = f(π) = 0 のとき、∫[0 → π] f''(x)^2 dx ≧ ∫[0 → π] f(x)^2 dx