Thank you for your answer. Of course, there are infinitely number of solutions. As far as I know Maple can handle with infinitely number of solutions of an equation, but it seems, it is not true for the inequalities or inequalities with special functions. (Of course I tried the _EnvAllSolutions option of solve etc.) I tried to restrict the x for an interval of sin, but it gives no one interval of the solutions.