Factorial Library In Python Definition Function