Kita jabarkan menjadi dua ribu lima kurang tujuh n tambah tujuh lebih dari nol, sehingga dua ribu dua belas kurang tujuh n lebih dari nol. Maka dua ribu dua belas lebih dari tujuh n, sehingga n kurang dari dua ribu dua belas per tujuh, atau n kurang dari dua ratus delapan puluh tujuh koma empat dua delapan.