; Demo of infinite series.

; Approximate sum using a large finite number of terms.
approx_sum = SUM(1/(n*n),n,1,8000)

; Mercury has special logic for an infinite sum, so just do it.
infinite_sum = SUM(1/(n*n),n,1,INF)
true_limit = PI^2 / 6