a*(a-1)+b*(b-1)<=(a+b-1)*(a+b-2)