Bien, pensemos en esto.
Tenemos t=logbn;bt=n . Queremos encontrar el rango de v para que |n−bv|<1/2 y cuántos decimales v puede variar de t
Así que dejemos bv1=n−12 así que v1=logb(n−12) . Así que t−v=logbn−logb(n−12)=logbnn−12 . ¿Cuántos ceros a la izquierda tiene esto? Tiene ⌊−log10(logbnn−12)⌋ decimales.
Asimismo, bv2=n+12 así que v2 está dentro de ⌊−log10(logbn+12n)⌋ decimales.
Así que para encontrar round[bv]=n tenemos que resolver v=logbn en min decimales.
.....
Supongo que debería probarlo.
Si 8^t = 5,673 entonces t = \log_8 5673 = \ln 5673/\ln 8 = 4.1566320495569725555773549220362 . Si calculamos que dentro de [-\log_{10} \log_8 {\frac {5673}{5672.5}}]=[-\log \log_8 \frac {11346}{11345}] = [-\log 4.2386703739308141293762517391067e-5] = [4.3727703556302006379851110164063] = 4 .
Así que 8^{4.1566} = 5672.6219344912076083978179288225 . Sí, eso es dentro de un margen de error de 1/2. Parece que funciona.