User:Σ/Testing facility/Factorial