Leibniz formula for pi

GPTKB entity