factr:{:[x>1;x*_f x-1;1]} factr 6 720