安達さんはεは10より小さければ微小だと言ってましたけど、ε=0.00000001代入したところで証明したことにはならないのですよ