Comment by jagthebeetle

I thought this wasn't actually mathematically established - the related property would be whether or not pi is normal.