8. Let be defined informally by

(n) = ?2n, 2n 2, 2n 4, ..., 0?.

Write (n) in terms of known functions from the set {seq, dist, pairs, map, , *}.

Hint: Notice that 0 = 2n 2n.