I’m trying to find a good approximation for $a-\log_{10}\left(10^a-1\right)$, with $a$ being a large positive real number.
I think the result should be in the order of magnitude of $10^{-a}$, but I can’t find a way to prove whether or not this is the case.