つかε_1の定義ってどんなのだったっけ