catpad

У меня такой вот математический вопрос.
Возьмём какое-нибудь иррациональное число, например "пи", и пусть это будет для простоты его бинарное представление (но это не должно быть число, в котором повторяется одна и та же последовательность - так что "пи" подходит).
Существует ли какая-то теорема или хотя бы гипотеза, которая утверждает, что в этом представлении обязательно можно найти любое сочетание 0 и 1 в виде подстроки любой длины ?
Или же более простой случай, где на длину подстроки наложено ограничение, то есть: в бинарном представлении "пи" обязательно найдётся любое сочетание 0 и 1 в виде подстроки, длина которой меньше или равна N.
Правда, тогда не совсем понятно, что это за N такое. N = 2, очевидно. N = 10, тоже почти очевидно, правда, непонятно, как доказать. N = 1000 уже не так очевидно. И так далее.

В общем, кто-нибудь знает такую теорему ? Меня этот вопрос очень сильно занимает.