formula for number of injective functions