正の実数xが一つでもあればよいのでa+2>0でよい