Asumsi:
Maksud dari “menentukan bilangan ganjil dari inputan n yang diberikan“ adalah menentukan n bilangan ganjil pertama.
Misalnya: n = 3, maka algoritma menghasilkan output 1, 3, 5.
____________

Pseudocode

Algoritma N Bilangan Ganjil Pertama
Input: Bilangan bulat positif n.
Output: Barisan n bilangan ganjil pertama.

read n
for i ← 1 to n, do
   ganjil ← 2*i – 1
   print ganjil
____________

Pembuktian dengan Induksi Matematika

Pernyataan yang ingin dibuktikan:
Untuk setiap n bilangan asli (bilangan bulat positif), 2n – 1 adalah bilangan ganjil.

• BASIS INDUKSI
  Untuk n = 1, 2 – 1 = 1, benar bahwa 1 adalah bilangan ganjil.

• ASUMSI/HIPOTESIS
  Untuk n = k, 2k – 1 adalah bilangan ganjil.

• LANGKAH INDUKSI
  Harus dibuktikan bahwa untuk n = k+1, 2(k+1) – 1 adalah bilangan ganjil.
  2(k+1) – 1 = 2k + 2 – 1 = (2k – 1) + 2
  2k – 1 adalah bilangan ganjil berdasarkan asumsi di atas.
  Maka, (2k – 1) + 2 benar adalah bilangan ganjil, karena selisih dari 2 bilangan ganjil berurutan adalah 2.

Kesimpulan

∴ Dengan induksi matematika, terbukti bahwa untuk setiap n bilangan asli (bilangan bulat positif), 2n – 1 adalah bilangan ganjil.