DOMINÓ

Indução Matemática é um método de prova matemática usado para demonstrar a verdade de um número infinito de proposições. A forma mais simples e mais comum de indução matemática prova que um enunciado vale para todos os números naturais n e consiste de dois passos:

A base: mostrar que o enunciado vale para n = 1.
O passo indutivo: mostrar que, se o enunciado vale para n = k, então o mesmo enunciado vale para n = k + 1.
Esse método funciona provando que o enunciado é verdadeiro para um valor inicial, e então provando que o processo usado para ir de um valor para o próximo é valido. Se ambas as coisas são provadas, então qualquer valor pode ser obtido através da repetição desse processo. Para entender por que os dois passos são suficientes, é útil pensar no efeito dominó: se você tem uma longa fila de dominós em pé e você puder assegurar que:

O primeiro dominó cairá.
Sempre que um dominó cair, seu próximo vizinho também cairá.
então você pode concluir que todos os dominós cairão.

(Fonte: Wikipédia)

Da última vez, caíram cerca de 4,4 milhões de pedras de dominó, uma a seguir à outra, em sintonia perfeita.
Pergunto-me, da próxima, quantas cairão.