x = max{cos1, cos2, ... , cosn, ...}라고 할때


x가 특정한 값을 가지지 않고 발산함을 증명해야 되는데

어케하지...? 미적 문제라 pi가 무리수라는 성질 같은건 필요없는거 같은데