First-Order Equations · Superchallenge problem

Consider $y'=(1+y^2)\cos x$ with $y(0)=a$, where $a>0$. The solution exists for all real $x$ exactly when $a$ is below a certain threshold. Find the threshold (the supremum of such $a$), rounded to $4$ decimal places.