The conversation between human and AI assistant.
Is there any idea, how to prove (no computer) that 253*Sqrt(2) +874*Sqrt(3) +582*Sqrt(5) >3173?
What next?
Expanding the left-hand side of the inequality, we get 322477 + 1224*Sqrt(6) + 999524*Sqrt(3) + 1086124*Sqrt(10) + 508628*Sqrt(2) + 1164288*Sqrt(15).