Her n∈N için 0≤x≤1n olsun ve x>0 olduğunu varsayalım. (x<0 olmadığı aşikar.)
x>0 olduğunu varsayarsak -Archimedes özelliği gereği- 1n0<x olacak şekilde en az bir n0∈N sayısının var olduğu sonucuna ulaşırız ki bu da hipotez ile çelişir. O halde varsayımımız yanlış yani x=0 olmalıdır.