A heuristic procedure for proving inequalities