>0.999.... = 1
定義だろ。