If we were to stipulate that n had to be negative it's obviously injective since a(n) is strictly ascending as n is decreasing, and you proved that a(n) is injective for positive n, but maybe there is a negative input that produces a collision with a (probably much larger) positive input?