46
2016-01-24 16:57:56
0
ㅎㅎ 아 빼는 건 왜 그러냐면 binom(2n,n)을 분수 꼴로 나타냈을 때 분자에 (2n)!이 있고 분모에 (n!)^2가 있잖아요. 얘들 안에 들어가는 p의 개수를 위의 식처럼 급수로 표현했으니까 binom(2n,n)에 들어가는 p의 개수, 즉 람다(p,n)은 앞의 급수에서 뒤의 급수를 빼주면 돼요. 분수니까 '약분' 될 거 아니에요 ㅎㅎ
로그가 갑자기 튀어나오는 이유는요 무한급수로 표현된 그 식이 사실은 유한한 항 이후로 모두 0이에요. 그게 언제냐면 p^j가 2n보다 커질 때죠. (가우스 기호 안에 0과 1 사이의 숫자를 집어 넣으면 0이 나오잖아요.)그렇기 때문에 우리는 log_p^{2n} 이후로는 j를 셀 필요가 없어요. 그리고 그 이전의 항 값은 무조건 0 또는 1이니까, 설령 모두 1(최대값)이라고 가정하더라도 람다(p,n)의 값은 log_p^{2n}을 넘지 않습니다 ^^