I was wondering whether there has been any investigation into the distribution of the decimals of pi using nonstandard analysis. For instance can it proven that the frequency distribution is uniform in the strictest possible sense (whereby this i mean that since non-standard analysis treats infinities as actual entities like finite quantities, the actual frequency and not just the relative frequency of each digit is precisely the same). If so, i was wondering if this might explain its partial limit if it has one (if absolute arithmetic relative frequency convergence requres place selection rules and a violation of randomness- there have been some papers recently arguing about whether tests of randomness appear to be violated given large numbers of the digits). This is based on one my previous conjectures concerning convergence in the finite, place selection rules and absolute infinite convergence in the arithmetic sense
By a partial limit i am asking whether the sequence is such that there is some n, such that for all relative frequencies calculated over the first K digits where K>n, the distribution is within some error bound of being uniform, for all K, and where as K increases this error bound (although not necessarily the error/deviation in each individual sequence) gets shorter. Whilst fursternburgs theorem might suggest there will always (or almost always) be infinite sequences of the same digit (and of any digit or pattern) one cares to name, do these appear and if so will they only occur after a significantly larger infinite number string of uniformly distributed digits beforehand so that the effect that such large strings of the same digit, gets washed out, in the limiiting relative frequency (so that the partial limit is not violated- or really infinite limit by this stage is perturbed/disturbed)?