View article

Conditions are determined under which is a monotone function of n satisfying $a b\cdot\,_{3}F_{2}\left(-n,a,b;a+b+2,\varepsilon -n+1;1\right) \geq a b\cdot\,_{2}F_{1}\left(a,b;a+b+2;1\right).$ Motivated by a conjecture of Vuorinen [Proceedings of Special Functions and Differential Equations, K. S. Rao, R. Jagannathan, G. Vanden Berghe, J. Van der Jeugt, eds., Allied Publishers, New Delhi, 1998], the corollary that for and is used to determine surprising hierarchical relationships among the 13 known historical approximations of the arc length of an ellipse. This complete list of inequalities compares the Maclaurin series coefficients of ₂F₁ , with the coefficients of each of the known approximations, for which maximum errors can then be established. These approximations range over four centuries from Kepler's in 1609 to Almkvist's in 1985 and …