>>476
後半は
cd=(a-1)(b-1)=ab-(a+b)+1≦{√(ab)−1}^2,
∴√(ab)−√(cd)−1≧0　　(←ab≧1)
の方が早いな…