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 k0 be an integer. Then, for Re(s)k and |s1|110 we have |ζ(s)|k|s|k+2+1.