4以上の自然数Aをとってきます。で、√A以下の素数で最大のものをpとします。そして、A以下の自然数をp個無作為に選んでおきます。すると、そのうちの自然数の足し算で、2からpまでの素数で割り切れるものが必ずつくれます。たぶん。
(例を後述します)