不等式変形による数学的考察で発見できるのは必要条件の可能性