Does the decimal expansion of pi contain it?