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