Trigonometric inequalities and the Riemann zeta-function

We very slightly improve the leading constant of the (currently best) proven asymptotic zero-free region of the Riemann zeta-function, by using an easy improvement to a trigonometric polynomial.