Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision | ||
factorial_function [2015/11/14 03:26] nikolaj |
factorial_function [2015/12/14 18:26] (current) nikolaj |
||
---|---|---|---|
Line 1: | Line 1: | ||
===== Factorial function ===== | ===== Factorial function ===== | ||
- | ==== Set ==== | + | ==== Function ==== |
| @#FFBB00: definiendum | @#FFBB00: $!: \mathbb N\to \mathbb N$ | | | @#FFBB00: definiendum | @#FFBB00: $!: \mathbb N\to \mathbb N$ | | ||
| @#FFBB00: definiendum | @#FFBB00: $n\mapsto n!:=\prod_{k=1}^n\ k $ | | | @#FFBB00: definiendum | @#FFBB00: $n\mapsto n!:=\prod_{k=1}^n\ k $ | | ||
Line 8: | Line 8: | ||
=== Discussion === | === Discussion === | ||
- | Thinking of $n!=\frac{{\mathrm d}^n}{{\mathrm d}x}x^n$ and Fermat theory, I though there must be an expression for $n!$ which is more algebraic and indeed I found | + | Thinking of $n!=\left.\frac{{\mathrm d}^n}{{\mathrm d}x^n}\right|_{x=0}x^n$ and Fermat theory, I though there must be an expression for $n!$ which is more algebraic and indeed I found |
<code> | <code> |