Not yet the complete answer.
For ease of notation, let's call $$\min{(j|x|-\lfloor j|x|\rfloor,\lceil j|x|\rceil-j|x|)}=f(j); \left\lfloor\frac{1}{f(j)}\right\rfloor=g(j).$$
We want to show that \(\forall n\in |N,~\exists j,0<j\leq n,~f(j)<\frac{1}{n}\) or, in other words, \(g(j)>n\). Suppose \(\left\lfloor\frac{1}{f(1)}\right\rfloor=m.\) That is, \(m\) is the largest positive integer such that the absolute difference between \(x\) and its nearest integer is less than \(\frac{1}{m}\). Obviously, for \(n\leq m\), the desired \(j\) is 1. Let's consider \(n>m\).
First note that \(f(j)\) cannot be 0 or \(\frac{1}{n}\) for any \(n\in |N\). Being a positive fraction that is less than its complement, \(f(j)\in(0,0.5)\) always.
Secondly, \(j\neq k\Rightarrow f(j)\neq f(k)\), because \(x\) is irrational.
Thus,
- \(f(j)\) must be a sequence of positive irrational fractions within the open interval \((0,0.5)\) in which no member is repeated ever.
- Most importantly, this sequence \(f(j)\) is completely determined by \(f(1)=p\) Thus, \(f_x(j)=f_p(j)\) when \(p,x\) are related as above.
- Each \(f(j)\) is in the open subinterval \(\frac{k}{n},\frac{k+1}{n}\) where \(k\equiv\left\lfloor\frac{jp}{\max{g(i):i\leq n}}\right\rfloor\mod {\max{g(i):i\leq n}\).
- The number of such open subintervals in \((0,0.5)\) is \(<n\).
- \(p\) being a fraction, \(k\) will become 0 for some \(j\).
Now what remains to be shown is that for any \(n\), \(g(j)\) has to go above \(n\) for some \(j\leq n\). It seems that if \(g(1)=\left\lfloor\frac{1}{p}\right\rfloor<n\) then there will be a point \(j<n\) at which the \(g(j)\) sequence, diminishing before to 2 and possibly staying constant for some duation, shoots up to a high value. It seems elusively easy but is not.