Hola!
¿cómo puedo asegurar que no hay un error mayor entre algún par dentro del intervalo?
Hay que ver primero que como la mantisa es de la forma 1.F, la mantisa toma valores entre 1.000...0000 = 1 y 1.11111....111 que es casi 2. Por lo tanto, una vez fijo el exponente E, al variar la mantisa los números siempre están en el intervalo [ 2^E, 2^E+1 )Y esos números distan lo mismo entre ellos, exactamente 2^E * 1.0000...000001, por lo tanto el error es constante en el intervalo.
¿por qué debo tomar el mayor del intervalo y su antecesor? no me queda muy clara esta parte.
No es necesario, con tomar dos cualesquiera del intervalo, ya está (ver punto anterior)Saludos,
Federico