ResPubID17622, alternative and united proof, double inequality, arithmetic-geometric mean, complete elliptic integral of the first kind, generalized logarithmic mean