[NTG-context] Question to a formular

Dear list, I have this formular, but no idea , how to write it in Context. This is a formular with factorial. 0! := 1 (n + 1)! := (n + 1) n! Can someone help me please? Many thanks Uschi PS: Wishing you all a happy new Year.