Wiener-Ikehara theorem/Definition

A Tauberian theorem used in number theory to relate the behaviour of a real sequence to the analytic properties of the associated Dirichlet series.