Verified answer

Let a∈R . Assume a<ε for all ε>0.

if a>0, take eps = a/2

eps>0 but it is not true that a<eps

which is a contradiction

a can not be larger than zero