Svag matchende rim for factorial function