Legyenek a, b, c, d pozitív egészek. Tudjuk, hogy ab<cd. Mutassuk meg, hogy a+cb+d mindig ab és cd közé esik.