0.99999…は１ではない　その21

341 ：１３２人目の素数さん：2021/03/15(月) 11:01:36.57 ID:0duKuNTR.net

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