===== Archimedes constant π =====
==== Set ====
>todo Requirements

| @#FFBB00: definiendum | @#FFBB00: $\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: [[http://en.wikipedia.org/wiki/Pi|Pi]],[[http://en.wikipedia.org/wiki/List_of_formulae_involving_%CF%80|List of formulae involving π]]

==== Parents ====
=== Context ===
[[Ball volume]], [[Euclidean space]]