Pertama, ada anomali. Barisan aritmatika harusnya memiliki beda, bukan rasio. Kita asumsikan bedanya adalah tiga. Pertanyaannya: apakah a seribu kurang dari seribu? Jika dijabarkan, a satu ditambah sembilan ratus sembilan puluh sembilan kali tiga kurang dari seribu. Maka, target bukti kita adalah apakah a satu kurang dari minus seribu sembilan ratus sembilan puluh tujuh?