More on injections into function spaces over ordinals

To formulate our main result let τ be an ordinal, X a subspace of some ordinal, and M a non-trivial metric space. We prove that if C p ( X , M ) admits a continuous injection into C p ( τ , M ) then X ¯ ∖ X is hereditarily paracompact.