Matías tu ejemplo no funciona justamente porque a es mayor a b.
Tenes que pensarlo como dice... Si para cualquier número epsilon, b es un poco más que a (porque esta sumado, a tiene que ser si o si menor o igual que b). Cuándo es igual? Cuando los dos son ceros.
Okay, pero la afirmación II te dice que eso se tiene que cumplir para todo épsilon, no solo para . Tu ejemplo de y no verifica lo que dice el punto II porque, por ejemplo, si tomás no tenés que .