[seqfan] Re: Pi Day Question

[N. J. A. Sloane]

> I believe that the number
> 0.12345678910111213141516171819202122232425262727293-031.. . .
> was proved to be normal many, many years ago. I heard a rumor fifty-two
> years
> ago via my number theory teacher, the late Alfred T. Brauer (at Univ. of
> N.C.)
> that perhaps a Russian mathematician had proved that the number
> 0.23571113171923293137 . . . formed by joxtaposing the digits of the prime
> number sequence, is normal;

Henry:  see A033307, A033308 !
Neil