Langkah 1. Setiap batas bawah \(b\) bagi \(S\) memenuhi \(b\leq m\) apabila \(m\) adalah batas bawah terbesar.

Langkah 2. Pada penerapan pertama pilih \(b=m'\text{;}\) pada penerapan kedua tukarkan peran keduanya.