Hardy–Littlewood theorem

GPTKB entity