Lemma 3.2 (Polynomial growth of eta in half-planes).

  • (i)
    f(ζ) extends to a meromorphic function on ℂ, with the only pole being a simple pole which is at s=1.
  • (ii)
    Let k≥0 be an integer. Then, for Re⁡(s)≥−k and |s−1|≥110 we have |ζ(s)|≪k|s|k+2+1.