omg new proof

Assumptions
If A = B, then
a)  A-B = 0
b) A = (A+B)/2 = B

If A > B, then
a)  A-B > 0
b) A > (A+B)/2 > B


Let A = 1, B = .999...9
a) A-B = 1-.999...9 = .000...1 =/= 0
b) (A+B)/2 = (1+.999...9)/2 = 1.999...9/2 = 1.999...95 < A

Therefore, .999...9 =/= 1

>>73
I'm claiming plain and simple that .9... is not a number, so it makes no sense to compare it to one. It can be represented as a series, as we've already beat the death out of, but ultimately that is irrelevant to the original argument that NotANumber is ANumber. And regarding your comment, you have hopefully been taught the difference between limits and actual values.