Is there any idea , how to prove -LRB- no computer -RRB- that 253 * Sqrt -LRB- 2 -RRB- +874 * Sqrt -LRB- 3 -RRB- +582 * Sqrt -LRB- 5 -RRB- > 3173 ?
Is there any idea , how to prove -LRB- no computer -RRB- the inequality -LSB- math -RSB- 253 \ sqrt -LCB- 2 -RCB- + 874 \ sqrt -LCB- 3 -RCB- + 582 \ sqrt -LCB- 5 -RCB- > 3173 -LSB- / math -RSB- ?