自然数n≧2に対し
 ∫[1/n,1] (sin(0.5pi*x))^(1/n) dx ≧ (1-1/n)*(1/2)^(1/n)
を示せますか