貪欲法が解って
背理法とかで証明してから通すの?