Mathematical inequality proof