  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.
