User blog comment:Vel!/Happy Pi Day/@comment-5150073-20150315122531/@comment-10429372-20150316074504

Pi must be normal when represented in binary. In fact, any transcendental number is normal i base 2, otherwise it must end in 1111.... which will turn in 0000... with 1 to the next part, (see 0.99999.... = 1) or it is already 0000... so then it will be a rational number. Contradiction.