Go backward to Product Quantifier Go up to Top Go forward to Product Identities |
(prod1 <= i <= n i2) = (prodi, (i in N /\ 1 <= i /\ i <= n) i2)
(prod1 <= i <= 0 i2) = 1
(prod1 <= i <= 5 i2) = 12 * (prod2 <= i <= 5 i2)
(prod1 <= i <= 5 i2) = 12*22*32*42*52;