StackExchange에서 간단한 명제를 쓸데없이 복잡하게 증명하는 것에 대한 스레드가 있다. 예컨대 가 무리수임을 보이기 위해 페르마의 마지막 정리를 이용한다든지… 그 외에도 공부하다보면 간혹 새로 배우는 개념을 통해 이전의 결과가 약간 nontrivial하더라도 유도되는 경우가 있는데 그런 경우들을 연상시키는 예들도 언급된다. 테런스 타오도 메져 띠오리 수업에 등장했던 한 가지 예시를 올렸다. 만약 조화급수 이 수렴한다면 (구간 에서는 […]

Read More 오버킬