>>476
それは恐らくa_kと誤差の上限から小数点以下m桁一致してることを確実に
言うために, 少なくとも必要な条件という意味だろう.

たとえばa_k=0.57729とすれば, 小数第4位まで一致していることを示すには
誤差が10^(-5)以下であることを示さなければならない.

この条件は最後の桁が5のとき, たとえばa_k=0.57725のようなときに
最も緩く, その場合に誤差の上限は5*10^(-5)となる.

ここで必要と言ってるのは恐らくそういう意味だ.