Недоказанная пока гипотеза Эйлера говорит нам, что если объединить множество простых чисел и множество следующих за простыми чисел, то мы получим базис второго порядка (иными словами, множество такое, что любое число представимо суммой двух элементов этого множества) с асимптотической плотностью
. Я далёк от способности доказать эту гипотезу и меня заинтересовал другой вопрос - а можно ли меньше, чем
?
Элементарно доказать, конечно, что нельзя меньше
. А около того можно? Каким образом можно было бы конструировать хотя бы искусственно такое множество достаточно разреженное?