17.4 USE problems

Problem: Solve the inequality, using the majorant method: \[ \cos x-y^{2}-\sqrt{y-x^{2}-1} \geq 0 . \]