## A real-valued map on a paracompact space

Hello,

I'm having trouble with this problem:

Suppose $X$ is a paracompact topological space. Let $U$ be an open set of $X\times [0,\infty)$ which contains $X\times\{0\}$. Show that there is a map $f\colon X\rightarrow (0,\infty)$ such that $y\leq f(x)$ implies $(x,y)\in U$.

Note that all my paracompact spaces are assumed to be Hausdorff.

I know that paracompact spaces are in particular normal, and I tried to use an Urysohn function, but I couldn't find one with the right property.

I also attempted a partition of unity, but the codomain of f is not supposed to contain 0, which throws me off.