a+b+1≥ a^2+b^2-1