Langkah 1. Misalkan \(m\) dan \(m'\) sama-sama memenuhi definisi batas bawah terbesar untuk \(S\text{.}\)

Langkah 2. Carilah dua pertidaksamaan yang, jika digabungkan, memaksa \(m=m'\text{.}\)