A demonstração tradicional da irracionalidade de Pi começa estabelecendo algumas propriedades da função: x |--> x^n * (1-x)^n / n! no intervalo (0,1).
Essa função me parece tirada da cartola, sem qualquer motivação prévia. Alguém sabe o que levou o autor da demonstração a usar esta função? []s, Claudio. -- Esta mensagem foi verificada pelo sistema de antiv�rus e acredita-se estar livre de perigo.