For the first one b) it is impossible
Theorem: If is injective and is finite then it is surjective.
Proof: By definition where is the image and is the codomain. But for the case of injective functions , which implies then that . In our case we have that . Now suppose that was not surjective, then which is a contradiction.
For the second one b) what about ?