No, no, no. The way the proof works is this: First, assume that a > 0. Demonstrate that under that assumption, one can derive a contradiction (the contradiction, in this case, being that for any epsilon > 0, a < epsilon, but that there exists an epsilon [namely, a/2] such that a > epsilon...