Langkah 1. Kata “terbesar” menambahkan suatu sifat pada sebuah objek yang lebih dahulu harus menjadi batas bawah.

Langkah 2. Terapkan syarat batas bawah sekali untuk \(m\) dan sekali lagi untuk \(m'\text{.}\)