On considère un réel x tel que x \geqslant 7.
Alors, x-4 \geqslant 7-4, c'est‑à‑dire x-4 \geqslant 3.
De plus, la fonction x \mapsto x^{2} est croissante sur [0~; +\infty[.
On a donc (x-4)^{2} \geqslant 3^{2}, soit (x-4)^{2} \geqslant 9.
Finalement, (x-4)^{2}+3 \geqslant 12.