multifactorial4(N,_D) = 1, N <= 0 => true.