Kommt ein wenig darauf an, welche Eigenschaften von benutzt werden dürfen. Sehr einfach ginge es mit der archimedischen Eigenschaft der Ordnung:
Es ist also gibt es wegen ein mit . Wegen folgt . Wieder wegen gibt es ein mit also mit . Noch einmal wegen gibt es natürliche Zahlen sei die kleinste dieser Zahlen. Es ist also also somit gewiss wegen der Minimalität von . Für die rationale Zahl gilt somit schon einmal . Gilt auch ? Wäre so hätten wir somit . Da wegen auch steht dies im Widerspruch zur Minimalität von . Somit muss also doch gelten.
|