npub1hd…k9se4 on Nostr: maybe you did state this argument already and I overlooked, but what about the ...

maybe you did state this argument already and I overlooked, but what about the following calculation.

Let \(x=0.\bar{9}\). Then \(10x=9.\bar{9}\) and \(9x=10x-x=9.\bar{9}-0.\bar{9}=9\). Hence, \(x=1\).