AI-reported binary normality of a localized-logarithm value
- Mathematics
The constant ξ=Σ_{a,c≥0}1/(2^a3^c·2^{2^a3^c}) is normal in base two: every finite binary word has its expected limiting frequency when overlapping occurrences are counted.
The constant ξ=Σ_{a,c≥0}1/(2^a3^c·2^{2^a3^c}) is normal in base two: every finite binary word has its expected limiting frequency when overlapping occurrences are counted.
The constant ξ=Σ_{a,c≥0}1/(2^a3^c·2^{2^a3^c}) is normal in base two: every finite binary word has its expected limiting frequency when overlapping occurrences are counted.
The constant ξ=Σ_{a,c≥0}1/(2^a3^c·2^{2^a3^c}) is normal in base two: every finite binary word has its expected limiting frequency when overlapping occurrences are counted.
If correct, establishes normality for a distinct mixed-prime localized-logarithm value.
Is this mixed-prime localized-logarithm value normal in base two?
Publication dates and editorial changes.
Allow optional Google Analytics to help improve AIProofWatch? Privacy details.