Fatorial

Na matemática, o fatorial (AO 1945: factorial) de um número natural n, denotado por n!, é o produto de todos os naturais menores ou iguais a n. O fatorial de n também é igual ao produto de n e o fatorial de seu antecessor: n ! = n × ( n − 1 ) × ( n − 2 ) × ( n − 3 ) × ⋯ × 3 × 2 × 1 = n × ( n − 1 ) ! {\displaystyle {\begin{aligned}n!&=n\times (n-1)\times (n-2)\times (n-3)\times \cdots \times 3\times 2\times 1\\&=n\times (n-1)!\\\end{aligned}}} Por exemplo, 5 ! = 5 × 4 ! = 5 × 4 × 3 × 2 × 1 = 120. {\displaystyle 5!=5\times 4!=5\times 4\times 3\times 2\times 1=120.} O valor de 0! é 1, conforme a convenção para um produto vazio. Fatoriais foram descobertos em diversas culturas antigas, notavelmente na matemática indiana, nas obras canônicas da literatura de Jain, e por míticos judeus no livro Talmude Sêfer Yetzirá. A operação fatorial é encontrada em diversas áreas da matemática, notavelmente na combinatória, onde seu uso mais básico é contar as diferentes sequências possíveis — as permutações — de n distintos objetos: existem n!. Na análise matemática, fatoriais são usados nas série de potências para a função exponencial e outras funções. Eles também possuem aplicações na álgebra, teoria dos números, teoria das probabilidades e ciência da computação. Muita da matemática das funções fatoriais começou a ser desenvolvida no final do século XVIII e início do XIX. A aproximação de Stirling gera uma aproximação precisa para fatoriais de números grandes, mostrando que ele cresce mais rápido que o crescimento exponencial. A fórmula de Legendre descreve os exponentes de números primos numa decomposição em fatores primos dos fatoriais, e pode ser utilizada para contar os zeros à direita dos fatoriais....