Solving a specific inequality