例えば

本当は 0<a<1 がギリギリの答のときに 0<a<2 とかを排除するため