17.6 USE problems

Problem: Solve the problem, using the majorant method: \[ \log _{\frac{1}{2}}(x+1)+\cos ^{-1}\left(x+y^{2}\right) \leq-1 . \]