A Fej\'er--Riesz inequality for Dirichlet series
We prove the following inequality for Dirichlet polynomials: \[ \int_0^1 |f(1/2+\sigma)|\,d\sigma\lesssim \lim_{T\to\infty} \frac{1}{2T} \int_{-T}^T |f(it)| \, dt. \] In particular, for a Dirichlet series $f(s) = \sum_{n\geq 1} a_n n^{-s}$ belonging to the Hardy space $\mathscr{H}^1$ of Dirichlet series, \[ \left|a_1+\...