inequality, cosine function, hyperbolic sine function, hyperbolic cosine function, infinite product representation, mathematical induction