Let f : N → N be defined by

for all n ∈ N, state whether the function f is bijective. Justify your answer.