Математика на практике: алгоритм доказательства неравенств