let f :=  map n to if n = 0 then 1 else n * f(n - 1);
in f(3)