Automated Inequality Proving and Discovering | lit.salon