Estermann's lemma: $f(1) \ge \tfrac14(1-\sigma)M^{-3(1-\sigma)}$ when $\zeta f$ has nonnegative coefficients

Initializing...

Estermann's lemma: $f(1) \ge \tfrac14(1-\sigma)M^{-3(1-\sigma)}$ when $\zeta f$ has nonnegative coefficients · Prove2Me