## Archimedes constant π

### Set

todo Requirements

definiendum | $\pi:=V_2(1)$ |

### Discussion

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}$

#### Reference

Wikipedia: Pi,List of formulae involving π