Problem 772 (difficulty: 3/10)
Prove that the function \(\displaystyle x^5 -5x +2\) has 3 real roots.