Langkah 1. Keanggotaan \(a_n\in A\) memberi satu pertidaksamaan dari definisi infimum.

Langkah 2. Keanggotaan \(a_n\in B_n\) memberi pertidaksamaan lainnya. Kurangkan \(m\) dan gunakan \(1/n\to0\text{.}\)