ВНЕЗАПНО! Forth. сломай себе мозг

: fac1 ( n1 -- n )
1 facrec ;

: facrec ( n1 n2 -- n ) recursive
over
dup 0> if
* swap 1- swap facrec
else
drop nip
endif ;

мой любимый факториал без расширения стека