math: factorial, track recursion level