原本PDFを見て貰った方が視認性は良いが、後の検索性のためにコピペする(^^ www.unirioja.es/cu/jvarona/downloads/Differentiability-DA-Roth.pdf DIFFERENTIABILITY OF A PATHOLOGICAL FUNCTION, DIOPHANTINE APPROXIMATION, AND A REFORMULATION OF THE THUE-SIEGEL-ROTH THEOREM JUAN LUIS VARONA 2009 (抜粋) P7 4. The theorem of Thue-Siegel-Roth revisited
Or, equivalently, if x is an irrational algebraic number, there exists a positive constant C(x, α) such that |x - p/q |< C(x, α)/q^(2+α) (10) has no rational solution.