Существует ли иррациональное число от 0 до 1, в десятичной записи которого нет единиц и такое, что любые две последовательных цифры образуют простое число?
Я думаю, что достаточно взять число

и заменить в нём некоторые тройки девятками. Например, вторую, четвёртую, восьмую, 16-ю, 32-ю и т. д.
Но как строго доказать, что это число будет иррациональным? Здесь "умом чувствую, что пол-литра" не прокатит. Так же, как и "мамой клянусь".