We know for a fact that pi is truly infinite, there's no "if" there. But we are not sure whether it contains every sequence of (e.g.) decimal digits. Either wa

We know for a fact that pi is truly infinite, there's no "if" there. But we are not sure whether it contains every sequence of (e.g.) decimal digits. Either way, your proposition works for "the list (or concatenation) of all positive integers in ascending order" as well. There is no deep insight in it, even if it were also true for pi.