P
Initializing...
Monotonicity of I(s)/s^α under the inequality α I ≤ s I′ · Prove2Me