L'Hospital-type rules for monotonicity, and the Lambert and Saccheri quadrilaterals in hyperbolic geometry. Pinelis, Iosif (2005) JIPAM. Journal of Inequalities in Pure & Applied Mathematics [electronic only]