Sei a ∈ R gegeben mit der folgenden Eigenschaft: für jedes ε > 0 ist |a| < ε.
Angenommen es wäre a≠0. Dann wäre |a|>0. Sei nun ε = |a| ,
Dann gilt jedenfalls |a| < ε nicht. Also muss a=0 sein; denn dafür
ist die Aussage sicher wahr.
(ii) Scheint mir auch zu stimmen:
Sei a ∈ R gegeben mit der folgenden Eigenschaft: für jedes ε > 0 ist |a| ≤ ε.
Angenommen es wäre a≠0. Dann wäre |a|>0. Sei nun ε = |a|/2 ,
Dann gilt jedenfalls |a| < ε nicht. Also muss a=0 sein; denn dafür
ist die Aussage sicher wahr.