SPECKER SEQUENCE
15 / 16
a₁₄ ≈ 0.978
Approaching the ceiling asymptotically. The limit exists in ℝ but not in the computable reals.
Gap to bound: ~0.022.
Specker sequences show that the Bolzano-Weierstrass theorem fails computably.
Specker (1949) · computable analysis · rotates daily