Go backward to Product Quantifier Go up to Top Go forward to Product Identities

Example

(prod_{1 <= i <= n} i²) = (prod_{i, (i in N /\  1 <= i /\  i <= n)} i²)

(prod_{1 <= i <= 0} i²) = 1

(prod_{1 <= i <= 5} i²) = 1² * (prod_{2 <= i <= 5} i²)

(prod_{1 <= i <= 5} i²) = 1²*2²*3²*4²*5²;