別に帰納法によらなくても、
  a_n=10^0+10^1+…+10^(n−1)=(10^n−1)/9
程度で十分