First-Order Equations · Superchallenge problem

The solution of $y'=\dfrac{1+y^2}{1+x^2}$ with $y(0)=2+\sqrt3$ exists on $0\le x<b$ and tends to $+\infty$ as $x\to b^-$. Find $b$.