Davenport & Roth (1955) showed that Roth's techniques could be used to give an effective bound for the number of p/q satisfying the inequality, using a "gap" principle.
Davenport & Roth (1955) は、ロスの方法が、「ギャップ」原理を用いて、不等式を満たす p/q の数に対する有効な（計算可能な）制限を与えることに利用できる可能性のあることを示した。