q[n] = p[n+1]/p[n] とおくと q[n] >1,
(与式) = (1/q[n] + q[n+1]q[n+2])/(1+q[n+1])
q[n] が上に有界とする。
　1 < q[n] < α
∴　(1/α)(1+αq[n+1])/(1+q[n+1]) < (与式) < (1+ αq[n+1])/(1+q[n+1])
∴　　(1+α)/(2α) < (与式) < (1+αα)/(1+α)