counter_example의 값은 True인데, 350만 개가 넘어가도록 반례를 못 찾고 있어요 ...