DEF FN f(n) = VAL "n*FN f(n-1)*1"((n<1)*10+1 TO )