Suppose that $A$ is a given subset of $I=[0,1]$.
$\displaystyle \left\{ x_j = \frac{j}{m} \right\}_{j=0}^{m}$ is a partition of $I$. $n$ is the number of $[x_{i-1},x_{i}]$ such that $[x_{i-1},x_{i}]\cap A \neq \emptyset$. If there exists an $M>0$ such that $n$ is always greater than $\ln m$ for any $m \in \mathbb{N}+$ and $m>M$, is it possible to prove that $A$ is dense on some subinterval of $I$?
Notes: I want to emphasize that you cannot construct $A$ with $m$ related to the precondition, because $m$ is given and changing to $\infty$ after $A$ has been supposed. Even if you want to construct $A$ with some variables, please notice that when $A$ is constructed, your variables are fixed and cannot follow the change of $m$.