/  
Wie weiß ich denn daß es ein a gibt,
für welche
so daß
a² ˂ 2 ˂ a² +
2a
10n
+
1
10²n
?
  Weil ich ein a konstruieren kann
für welches
so daß
a² = 1˙999 ist