∫0->q f(x)dx=∫0->1 f(qx)dqx=q∫0->1 f(qx)dxf(x)在[0,1]上是单调递减函数 ,所以对任意q属于[0,1],0≤qx≤x≤1 有 f(qx)≥f(x)∫0->1 f(qx)dx≥∫0->1 f(x)dx
太妙了!
我也在找……
