Вопрос такой: существуют ли числовые последовательности, которые с заданной наперед точностью приближают, какое-либо иррациональное число.
Если вы посмотрите на любое определение вещественных чисел, то сразу ясно, что существуют: фундаментальные последовательности рациональных — straightforward; бесконечные
-ичные дроби — всего шаг; сечения Дедекинда — шага два. (И таких последовательностей для каждого числа всегда куча. Другое дело в том, что этого факта ещё недостаточно, потому что в общем случае проверить, является ли пределом последовательности данное вычислимое действительное число, нельзя.) Как найти конкретную такую последовательность, уже сказали — любой способ «вычисления» иррационального числа такую последовательность и задаёт.