0.99999…は１ではない その21

[0341 １３２人目の素数さん 2021/03/15(月) 11:01:36.57 ID:0duKuNTR]

行間を埋めると
仮定とアルキメデスの性質と(n∈{1,2,…}⇒1/n>1/10^n)より
1-0.999…>1/n>1/10^n=0.000…1
ってことね。あとは算数。