Proof_of_inequality_(8).pdf