Write a new factorial function using pattern matching, which is tail-recursive (i.e., it doesn't cause the stack to grow, and there are no pending operations). You will need an internal helper function.

Kindly write the program in Python.