В числителе стоит арифметическая прогрессия с первым членом,равным 1 и разностью, равной 2. Следовательно, i-тый член последовательности будет таким:
a[i]=a[1]+(i-1)*d=1+(i-1)*2=2*i-1,
что и стоит в программе.