0<s<10<s<10<s<1 では分母が正なので、V1/V2≥4/3V_1/V_2\ge4/3V1/V2≥4/3 は (1+s)3≥8s(1−s2)(1+s)^3\ge8s(1-s^2)(1+s)3≥8s(1−s2) と同値である。右辺を引くと 1−5s+3s2+9s3=(1−3s)2(1+s)≥01-5s+3s^2+9s^3=(1-3s)^2(1+s)\ge01−5s+3s2+9s3=(1−3s)2(1+s)≥0。従って V1/V2≥4/3>1V_1/V_2\ge4/3>1V1/V2≥4/3>1 であり、V1≠V2V_1\ne V_2V1=V2 も示される。