Ikehara's Tauberian theorem