(左側)
　(二乗平均) > (相加平均)　で

(右側)
　g(x) = √(N+x)　とおくと
　A = g(1) + 2g(-1/2),
　B = g(-1) + 2g(1/2),

A-B = g(1) - 2g(1/2) + 2g(-1/2) - g(-1)
= {g(1) - 2g(1/2) + g(0) - {g(0) - 2g(-1/2) + g(-1)}
= g '(p+1/2) -2g '(p) + g '(p-1/2)　　　(-1/2<p<1/2)
　　　　　　　　(← 平均値の定理)
= {g '(p+1/2) - g '(p)} - {g '(p) - g '(p-1/2)}
= (1/2){g "(q+1/4) - g "(q-1/4)}　　　　(p-1/4<q<p+1/4)
　　　　　(← 平均値の定理)
= (1/4) g'''(r)　　　　　　　　　　　　(q-1/4<r<q+1/4)
　　　　　　　　　　(← 平均値の定理)
= (3/32)(N+r)^(-5/2)
> 0,
∴　A>B


〔平均値の定理〕
　f(x) は [a,b] において連続、(a,b) において微分可能とする。然らば
　　{f(b)-f(a)}/(b-a) = f '(ξ),　　　a<ξ<b,
なるξが存在する。(Lagrange)

高木貞治：「解析概論」改訂第三版, 岩波書店 (1961)
　第2章,　定理20．　p.48