Inequality proofs