Add factorial in terms of product