f := { [i] -> i };
r := f([n] -> {[i] : 0 <= i <= n });
assert(r == [n] -> { (1/2 * n + 1/2 * n^2) : n >= 0 });
