---
up:
  - "[[nombre premier]]"
tags:
  - s/maths
aliases:
  - fonction π
---

> [!definition] [[fonction pi|fonction π]]
> La fonction $\pi$ est la fonction qui à un entier $n$ associe le $(n+1)^{\text{ème}}$ [[nombre premier]]
> $\begin{array}{rcl} \pi(0) &=& 2\\ \pi(1) &=& 3\\ \pi(2) &=& 5\\ \pi(3) &=& 7 \\&\vdots& \end{array}$
^definition

# Propriétés

 - $\pi$ est [[fonction récursive primitive|récursive primitive]]

# Exemples