fact(n)=factorback([2..n])