The best possible constants approach for Wilker-Cusa-Huygens inequalities via stratification
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.
math.GM↗