Problem 773 (difficulty: 3/10)
Prove that the function \(\displaystyle x^7+8x^2 +5x-23\) has at most 3 real roots.