The best possible constants approach for Wilker-Cusa-Huygens inequalities via stratification
arXiv:2404.05733 · doi:10.2298/AADM240308012B
Abstract
In this paper, we generalize Cristinel Mortici's results on Wilker-Cusa-Huygens inequalities using stratified families of functions and SimTheP - a system for automated proving of MTP inequalities.