Ça se simplfie un peu

 

    i store
        1
    end
        i ? dup 1 - facto ! *
    i 1 == ifElse
facto store
5 facto !