: fact dup 2 < if else dup 1 - fact * then ;
  5 fact
120