inf_{σ_0 <= σ} m(σ)
というのはσがσ_0以上の値をとるときのm(σ)の下限なんだから
一つの値 σ=σ_0 に固定すれば当然
inf_{σ_0 <= σ} m(σ)≦m(σ_0) が成り立つ。