\begin{definition}[Definition:Pi]
The real number $\pi$ (pronounced '''pie''') is an irrational number (see proof here) whose value is approximately $3.14159\ 26535\ 89793\ 23846\ 2643 \ldots$
{{OEIS|A000796}}
\end{definition}