is there a factorial function implemented on math lib?
Alternatively, is there any way I could check if it's implemented on my compiler?


No there isn't and again no.
You would have to write your own. Search the forums its a VERY popular question.

It will turn up alot of material for you to look at, including recursive and non-recursive.