>>611
任意のxに対してf(x)=0または1/m≦f(x)≦mで0<∫fdxのとき。
0<a<1のときはlog(1+y)≧y−py^2(|y|<1/2)に
y=(f/n)^aを代入して積分して極限をとる。です。