>>7
{A(i)} (i=0,…,n)が
A(i)^2≧A(i-1)*A(i+1)を満たすなら
logA(i)-logA(i-1)≧logA(i+1)-logA(i)
よって、B(i)=logA(i+1)-logA(i) (i=0,1,…,n-1)とすると、
{B(i)}は単調減少列なので
ある整数j (0≦j≦n)が存在して
0≦i≦j-1ならB(i)≧0で、j≦i≦n-1ならB(i)≦0と言える。
（B(i)が全て負ならj=0、全て正ならj=nとおくことで上記条件は成立する）

B(i)≧0なら、A(i)≦A(i+1)
B(i)≦0なら、A(i)≧A(i+1)

ここで、i=jとすると
A(0)≦A(1)≦A(2)≦…≦A(i-1)≦A(i)≧A(i+1)≧…≧A(n)
を満たす。