Tahap 1. Bandingkan \(B_d(x,r/C)\text{,}\) \(B_e(x,r)\text{,}\) dan \(B_e(x,cr)\text{.}\)

Tahap 2. Fungsi \(\phi(t)=t/(1+t)\) naik dan subaditif; lalu pecahkan \(\phi(t)\lt r\) untuk \(0\lt r\lt1\text{.}\)

Tahap 3. Biarkan \(|x-y|\) menuju tak hingga untuk menguji batas bawah global.