Do you mean in the computed 202T digits of Pi, on in in the infinite sequence of Pi digits? In case of the latter: s̶u̶r̶e̶, probably, if Pi is normal, any finite sequence of digits is contained somewhere in Pi, so it would contain (in encoded form) any closed formula and any program, book, or piece of music ever written.

E: As the comments have pointed out, this requires the conjecture that Pi is normal to be true, was has not been proven or disproven yet.