Very Difficult Inequality Proving