Hardy–Littlewood tauberian theorem