lower factorial