\arccos(y)\leq \arccos(-x)