Is there a way to trace factorial?

[stex-docto]

Hello,

I was trying to trace binomial coefficient and I didn't find a way to make the exclamation mark work nor create a recursive function for it.

Any ideas ?

Thanks,