0.999...=1

Theorem

 * $0.999 \ldots = 1$