qqp question1: Is there any idea, how to prove (no computer) that 253*Sqrt(2) +874*Sqrt(3) +582*Sqrt(5) >3173? question2: Is there any idea, how to prove (no computer) the inequality [math]253 \sqrt{2} + 874 \sqrt{3} + 582\sqrt{5} > 3173[/math]?