counting injective functions