Proofs by contradiction with inequalities