number-theory / Number theory - integer sequences

Composites Among $[\xi 7^n]$ and Right-Truncatable Primes in Base 7

For every real $\xi>0$ the sequence of integer parts $[\xi 7^{n}]$, $n=0,1,2,\dots$, contains infinitely many composite numbers. Second, there is no infinite right truncatable prime in base~$7$.

10Significance / 100
1Frontier events
0Verification tasks
0Recorded attempts

Temporal state

Current frontier

No reconciled state yet.

Append-only history

Frontier timeline

number-theoryAug 15, 2026Significance 10/100Registry: lean checked

Composites Among $[\xi 7^n]$ and Right-Truncatable Primes in Base 7

Prior state unknownproved

For every real $\xi>0$ the sequence of integer parts $[\xi 7^{n}]$, $n=0,1,2,\dots$, contains infinitely many composite numbers. Second, there is no infinite right truncatable prime in base~$7$.

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Research memory

Claims and attempts

Scoped claims

Source authenticated

For every real $\xi>0$ the sequence of integer parts $[\xi 7^{n}]$, $n=0,1,2,\dots$, contains infinitely many composite numbers. Second, there is no infinite right truncatable prime in base~$7$.

Recorded attempts

Evidence graph

Connected research record

No public relationships recorded yet.