User blog comment:MachineGunSuper/My problem with pi/@comment-30754445-20171217195220/@comment-32213734-20171218013353

LittlePeng9, yes!

Or, in other words, if pi contains every pattern at least once, then for each pattern, say, 123, should be 123123, 123123123 etc.