>>200
> 0.999...=lim[n→∞](1-10^(-n))

さすがにこれは否定しているだろ(≠派は)