non , le 1er encadrement n'implique pas le 2eme . Mais, comme
1/1995 =10^(-4)5,012... >10^(-4)5,012
1/1994 =10^(-4)5,015... <10^(-4)5,016
Alors
10^n/1995<x<=10^n/1994 ==> 10^n*0.0005012<x<=10^n*0.0005016
Inversement
10^n*0.0005013<x<=10^n*0.0005015 ==> 10^n/1995<x<=10^n/1994