Langkah pertama, mari kita lakukan substitusi. Kita ganti variabel x menjadi k, sehingga bentuknya menjadi dua pangkat k tambah satu kurang dari f k kurang dari k pangkat tiga. Karena diketahui f k sama dengan dua puluh, maka pertidaksamaannya menjadi dua pangkat k tambah satu kurang dari dua puluh, dan dua puluh kurang dari k pangkat tiga.