`fac'
-----

fac(I)
     :: I $@$N3,>h(J.

RETURN
     $@@0?t(J
I
     $@@0?t(J

   * I $@$N3,>h$r7W;;$9$k(J.
   * I $@$,Ii$N>l9g$O(J 0 $@$rJV$9(J.

     [0] fac(50);
     30414093201713378043612608166064768844377641568960512000000000000

