Dirichlet proved a classical theorem about approximating irrational real numbers with rational numbers, saying that for any irrational real number $\alpha$, you can find infinitely many rational numbers $a/b$ such that $|a/b-\alpha|<1/b^2$. I asked a question previously ("Reference wanted for generalized Dirichlet's Theorem") for a generalization of this to arbitrary number fields and archimedean valuations, and was very kindly directed to an excellent reference for this.

Like Oliver Twist, I want more. I was hoping that someone might be able to point the way to a reference to the following result:

Let $k$ be a number field, $S=\{v_1,\ldots,v_n\}$ a finite set of places of $k$.

For each place $v$ of $k$, let $k_v$ be the corresponding completion of $k$. Let $d_v$ be the local degree at $v$ -- that is, let $d_v=[k_v:Q_p]$, where $v$ lies over $p$. (If $v$ is archimedean, define $d_v=1$ for real places and 2 for complex ones.)

For each $v\in S$, choose an element $a_v\in k_v$ that is algebraic over $k$.

Fix an algebraic closure $\overline{k}$ of $k$, and for each $v\in S$ choose a valuation of $\overline{k}$ that lies over $v$.

Normalize the absolute values $|\cdot|_v$ so that $\prod_v |x|_v^{d_v}=1$ for all $x\in k$.

For each $v\in S$, choose a positive real number $e_v$ such that $e=\sum d_ve_v\leq 2$.

Then there exist infinitely many elements $x\in k$ such that for all $v\in S$, we have $|x-a_v|_v\leq H(x)^{-e_v}$, where $H(x)$ denotes the multiplicative height of $x$ relative to $k$.

I'm pretty sure I can prove this, but surely someone else has thought of this already, and hopefully published it somewhere. If anyone has any suggestions as to where I might find this result, I'd be very grateful -- thanks!