SPECKER SEQUENCE
2 / 16
a₁ = 1/2
The first jump: we skip to 1/2. The sequence gains half its remaining distance to 1.
Gap to bound: 0.5. Still far from the supremum.
Specker's trick: the jumps are chosen to encode a non-computable function into the limit.
Specker (1949) · computable analysis · rotates daily