"It is proven that all the sequences of digits are present somewhere in these digits" This has never been proven for the digits of π. Of course, there are othe

"It is proven that all the sequences of digits are present somewhere in these digits" This has never been proven for the digits of π. Of course, there are other digit-sequences for which it is trivially true. For example, just concatenating together every finite sequence of digits, in some suitable order.