how many injective functions are there from a to b