0.999…なる数が 1 に等しいという傍証(?)は数限りなく(?)あるが、
1 に等しくないということを示す「きちんとした」証明には出会ったことがない。
誰か知っていたら教えて。