F multifact(=n, d)
   V prod = 1
   L n > 1
      prod *= n
      n -= d
   R prod