A heuristic procedure for proving inequalities - View it on GitHub