Finding pi, with a few proofs