Your problem is either that you have the wrong formula or you have the wrong hypothesis.
The relevant fact is that for any domain $A$ with fraction field $K$, we have a canonical way to view $A_\mathfrak{p}$ as a subgroup of $K$, and
$$ A = \bigcap_{\mathfrak{p}} A_\mathfrak{p}$$
where $\mathfrak{p}$ ranges over all prime ideals. In terms of limits, $A$ is the limit of the diagram
$$ \begin{matrix}
A_{\mathfrak{p}_1} & & A_{\mathfrak{p}_2} & & A_{\mathfrak{p}_3} & & \cdots
\\ & \searrow & \downarrow & \swarrow & & \cdots
\\ & & F
\end{matrix} $$
which, in general, doesn't look anything like the limit you consider.
You would want to apply this in the case that $A = R_S$, since the prime ideals of $R_S$ are precisely the prime ideals that are subsets of $\bigcup U$. You would hope to show
$$ \bigcap_{\mathfrak{p}} A_\mathfrak{p}
= \bigcap_{\mathfrak{p}\in U} A_\mathfrak{p}$$
I don't know off hand if this is always true or if you need additional conditions.
Your language and notation, however, suggests you might only mean to consider the case of a limit over an inverse system — what we would today call a "cofiltered limit".
In this special case, I believe you should have
$$ \bigcap_{\mathfrak{p}} A_\mathfrak{p} = \lim_{\mathfrak{p}} A_\mathfrak{p} $$
where the diagram on the right ranges over all prime ideals (and the arrows being the opposites of inclusions)
Your difficulty working through the problem, then, is that you haven't realized that you're putting this condition on $U$, and are mistakenly considering an arbitrary set of prime ideals.