Natural numbers/Factorial/Definition