So sánh hai số m và n, biết m ≤ π và n ≥ π.

Ta có n ≥ π hay π≤ n.

Do m ≤ π và π≤ n nên theo tính chất bắc cầu, ta suy ra m ≤ n.