К обобщенной теореме Рота–Шмидта

Изложено доказательство теоремы о возможности разрешимости неравенства $\prod_{i=1}^{n-1}\|q\theta_i\|<c\cdot(q\cdot f(q))^{-1}$ для сколь угодно больших натуральных чисел $q$, при фиксированной константе $c$, $f(q)>\log q$ и чисел $\theta_1,\dots,\theta_{n-1}$ из чисто вещественного алгебраического поля степени $n$. Для $n=3$ указаны необходимые и достаточные условия для того, чтобы $f(q)=O(\log q)$.