# Is there a 'far' irrational number?

I recently learned of so-called 'far' numbers at a talk. In the talk, it was proven that there is a dense subset of the interval $[0,1]$ of far numbers (however, far numbers were only a minor point of the talk, so we quickly went on to bigger and better things).

A number $x$ might be called far if there is a positive constant $c$ s.t. $\displaystyle \left\| \;x - \frac{k}{2^n} \right \| \geq \frac{c}{2^n}$ for all $k, n \in \mathbb{N}$.

It is not so bad to see that for any odd prime $p$, $1/p$ is a far number. For that matter, for most rationals, it's not so hard to see that they are far. It happens to be that the set of far numbers has measure $0$. But I began to wonder:

Is there a 'far' irrational number?

-
I think that any number which is not Liouville number is a far number. Since Liouville numbers have measure zero, there exists irational numbers which are not Liouville, and those are far.... –  N. S. Feb 14 '12 at 18:08
@N.S. "any number which is not Liouville number is a far number"+"Liouville numbers have measure zero"+"It happens to be that the set of far numbers has measure zero"... –  Ilya Feb 14 '12 at 18:16
Shouldn't this have a number-theory tag too? –  Aryabhata Feb 14 '12 at 18:45

Consider $x = \sum_{j=1}^\infty a_j/4^j$ where each $a_j$ is either $1$ or $2$. Thus the binary expansion of $x$ consists of two-digit blocks which are either $10$ or $01$. Then $x$ is far. But there are uncountably many choices, so all but countably many of them are irrational.
A specific example is $\vartheta_3(0,1/4)/2 - 1/6$ where $\vartheta_3$ is a Jacobi theta function: in Maple's notation $\text{JacobiTheta3}(z, q) = 1+2 \sum_{n=1}^\infty q^{n^2} \cos(2 n z)$ –  Robert Israel Feb 15 '12 at 23:45