Leading digit $d$ $\iff$ $\{\log_b x\} \in [\log_b d, \log_b(d+1))$ · Prove2Me

P

Initializing...

Leading digit $d$ $\iff$ $\{\log_b x\} \in [\log_b d, \log_b(d+1))$ · Prove2Me