ついでにいうと
ε=min{x-a,b-x,δ,ε1}
も先読みして置いてるんじゃなくて
証明をしようとして必要となったものをmin{}の中にその都度追加していってる。