Há alguma ideia, como provar (sem computador) que 253*Sqrt(2) +874*Sqrt(3) +582*Sqrt(5) >3173?
Há alguma ideia, como provar (sem computador) a desigualdade [math]253 \sqrt{2} + 874 \sqrt{3} + 582\sqrt{5} > 3173[/math]?