A real number $x$ is defined to be diophantine if, for every $\epsilon>0$, there exists a constant $c_{\epsilon}$ such that
\begin{equation} \left|x-\frac{a}{q}\right| \geq \frac{c_{\epsilon}}{|q|^{2+\epsilon}} \text{for every rational number} \frac{a}{q} \end{equation}
Show that the set $\{ x\in [0,1]: x\text{ is not diophantine}\} $ contains a thick subset of $[0,1]$.

