Item
0.4.12.a
.
\(f:\N \to \N\)
given by
\(f(n) = n+4\text{.}\)
in-context