Метод математической индукции

Метод математической индукции состоит в следующем. Если необходимо доказать, что некоторая теорема справедлива для всякого натурального $ n $ (т.е. $ n \in \mathbb{N} $), для этого достаточно показать:
  1. что эта теорема справедлива для $ n=1 $ и
  2. что если эта теорема справедлива для какого-нибудь натурального числа $ n $, то она справедлива также и для следующего натурального числа $ n+1 $