Ramanujan prime

GPTKB entity