a=bと書けば良いのに何でわざわざ|a−b|<ε なんてくどい言い回しするんだろうと思う。