Almost all real numbers are normal, meaning every digit and every finite digit string appears with exactly the frequency you'd expect. Yet we can't prove normality for almost any specific number we care about.
TwoPi