A result related to the problem CN of Fremlin

We show that the set of injective functions from any uncountable cardinal less than the continuum into the real numbers is of second category in the box product topology.