Prove that a base b integer m has |_(_())1+log_(b)m_(_())| digits.