todo Requirements

The constant $\pi$ is defined as the volume of the disc of radius $1$, where the underlying metric space is taken to be the two dimensional Euclidean space $\mathbb E^2$.

• $\pi = 3.14159\dots\approx \frac{22}{7}$

Wikipedia: Pi,List of formulae involving π

Ball volume, Euclidean space