Ternary expansions of powers of 2 — mentioned by LegionMammal978

Thu, 20 Mar 2025 13:53:25 GMT

Nope, it's not that easy in this case. E.g., Erdős conjectured in 1979 that every power of 2 greater than 256 has a digit '2' in its ternary expansion [0]. This makes sense heuristically, but no methods since then have come close to proving it. Digits of numbers are a wild beast, and they're tough to pin down for a specific sequence. At best, we get statistical results like "almost all sequences of this form have this property", without actually being able to prove it for any one of them. (Except sometimes for artificially-constructed examples and counterexamples, or special classes like…

Paper and discussion history. A mention is not an endorsement.

Ternary expansions of powers of 2 · HackerPapers discussions

Ternary expansions of powers of 2 — mentioned by LegionMammal978