1 + a + 4*sqrt(1+a^(2)+b^(2)) < 4*sqrt(1+a^(2)) + sqrt(a^(2) + b^(2)) + sqrt(1 + b^(2)) + 2b