 Positive-Fourier-transform L1 bound

If $f\in L^1\cap L^{\infty }$ and $\hat{f}\ge 0$, testing against triangular frequency cutoffs and using monotone convergence gives $\Vert \hat{f}{\Vert }_1\le 2\pi \Vert f{\Vert }_{\infty }$.