Pi-1 formula (source code)

= Pi-1 formula
{c}
{wiki=Arithmetical_hierarchy}