f(x)=(3x-1)^2-9
Justifier que, pour tout réel x, on a f(x)>=9.