>>481
｢少なくとも必要な｣という意味合いではない
｢差が5*10^(-m-1)である｣⇒｢小数点以下第m桁まで等しい値｣
であるからこれは必要条件で間違いない
逆は(絶対的には)成り立たないから>>476の｢m=4桁まで等しいから差は5*^10^(-5)である｣という予想が間違い