Sebuah barisan an didefinisikan secara rekursif sebagai a1=1 dan an+1=an+2n+1 untuk nextextgreater1. Jika kita ingin membuktikan bahwa an=n2 untuk setiap bilangan asli n menggunakan induksi matematika, apa yang harus menjadi hipotesis induksi yang benar?