귀류법이랑 Darboux정리쓰면 될꺼 같은대 잘 안되네..