Fonction partie entière

Tout réel peut être encadré par deux entiers relatifs ; on dit que, pour tout réel $x$, il existe un unique entier relatif $n$ tel que $x$ soit compris entre $n$ inclus et $n+1$ exclu : $n\leq x < n+1$

L’entier $n$ est appelé partie entière de $x$ et est noté $\text E(x)$. C’est l’entier relatif directement inférieur au réel $x$.