| ak - 1/2 | = | (13-10k)/(4k^2 + 2 ) | <  | (13-10k)/  (4k^2 ). |
 denn 4k^2 + 2 ist größer als   4k^2 .  Und weiter gilt
| (13-10k)/4k^2  |  =  | (13-10k)  |  /  (4k^2  ).
Und es ist für alle k ∈ ℕ sicherlich   | (13-10k)  | < 10k .
Also reicht es zu bestimmen, wann 10k /   (4k^2  )  =  10/(4k)
kleiner als eps ist.   10/(4k)  < eps
                                 10/eps < 4k
                                  2,5 / eps < k
Also könnte man nehmen:   n(eps) = die erste nat. Zahl, die größer
als   2,5 / eps  ist. So etwas gibt es nach dem Axiom des Archimedes.