Weighted Product Inequalities for the Sine Function: A Gamma-Function Approach and Sharp Comparisons

Abstract

Using the log-convexity of the Gamma function and Euler's reflection formula, we give a new proof of a classical weighted sine product inequality. Two different parameter choices yield two competing upper bounds for the same product. We determine precisely, via algebraic criteria, when one bound is sharper than the other. Explicit results are given for the general $n$-angle case, the $2n$-angle case, and for two and three angles. Several sharp corollaries are derived, including $\sin (\ddot{I}€x)\le \sin (2\ddot{I}€x(1-x))$.

15 pages, 8 figures