レイリーの定理
レイリーの定理は、1より大きい無理数が、床関数を用いて自然数の集合を2つに分ける方法を与える定理である。
得られた集合を小さい順に並べたものをビーティ数列と呼ぶため、ビーティの定理と呼ばれることもある。