０＜ａ1＜ａ2＜・・・＜ａn＜１

が任意のｉ≦ｋ≦ｎに対して，ａ1，・・・，ａnが区間［（ｉ−１）／ｋ，ｉ／ｋ］にあるような性質を満たすｎ個の数がとれる最大の整数ｎは１７である．

　何のことかわかりにくいと思うが，

［１］線分上のどこかに点をうつ

［２］線分を１／２ずつ分けたそれぞれの区間に別々の２つの点が属するように第２の点を打つ

［３］線分を１／３ずつ分けた別々のそれぞれの区間に別々の３つの点が属するように第３の点を打つ

　同じことを続けていく．

［４］線分を１／ｎずつ分けた別々のそれぞれの区間に別々のｎ個の点が属するようにｎ番目の点を打つ

　これが可能なのはｎ＝１７までで，１８個以上の点をこのように配置することは不可能である（バーレカンプとグラハム，１９７０年）．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝