Using the results of several extremely large recent computations, we tested positively the normality of a prefix of roughly four trillion hexadecimal digits of π. This result was used by a Poisson process model of normality of π: in this model, it is extraordinarily unlikely that π is not asymptotically normal base 16, given the normality of its initial segment.
Experimental Mathematics Vol. 21, Issue 4, p. 375-384
This is an electronic version of an article published in Experimental Mathematics Vol. 21, Issue 4, p. 375-384. Experimental Mathematics is available online at: http://www.tandfonline.com/openurl?genre=article&issn=1058-6458&volume=21&issue=4&spage=375