Princípio de indução matemática e sucessões definidas por recorrência