Karamata Tauberian theorem

GPTKB entity