nfactorial = PRODUCT((/(i, i=1,n)/))