You can trivially modify their example to be 1.02003000400005... cycling through the digits and the argument still holds. As another commenter pointed out, pi

You can trivially modify their example to be 1.02003000400005... cycling through the digits and the argument still holds. As another commenter pointed out, pi is not proven to be normal, but is suspected to be.