prime-counting function

GPTKB entity