異なる剰余を持つ被覆系のj番目に小さい剰余について

被覆系は1950年にエルデシュによって導入されました。彼がそれを導入した同じ論文で、彼は異なる剰余を持つ被覆系の最小剰余が有界であるかどうかを問いかけました。2015年、ハフはこの長年の問題に肯定的に答えました。2022年、バリスターらはハフの結果のより簡潔で多様な証明を提供しました。彼らの研究に基づき、私たちは絶対定数が存在し、異なる剰余を持つ最小被覆系のFormula: see text番目に小さい剰余はFormula: see textであることを示します。