Prove that (x^5)-(x^2)+2x +3=0 has at least one real root.
Prove that x=cosx has at least one solution.
Prove that x=cosx has at least one solution.