How do I prove that this is surjective? I already proved that it's injective.

Also, if a function in both injective and surjective, is that function automatically invertible?

Let be the function from the set to the set

(0, 1] defined such that

for all , where

,