number of injective functions from a to b