다음은 모든 자연수 n에 대하여 부등식
k=1∑n2k2kPk≤2n(2n)!(∗) 이 성립함을 수학적 귀납법으로 증명한 것이다.
(ⅰ) n=1일 때, (좌변)=212P1=1이고, (우변)=(가)이므로 (∗)이 성립한다.
(ⅱ) n=m일 때 (∗)이 성립한다고 가정하면
k=1∑m2k2kPk≤2m(2m)! 이다. n=m+1일 때,
k=1∑m+12k2kPk=k=1∑m2k2kPk+2m+12m+2Pm+1=k=1∑m2k2kPk+2m+1(m+1)!(나)≤2m(2m)!+2m+1(m+1)!(나)=2m+1(나)⎩⎨⎧(다)1+(m+1)!1⎭⎬⎫<2m+1(2m+2)! 이다. 따라서 n=m+1일 때도 (∗)이 성립한다.
(ⅰ), (ⅱ)에 의하여 모든 자연수 n에 대하여
k=1∑n2k2kPk≤2n(2n)! 이다.
위의 (가)에 알맞은 수를 p, (나), (다)에 알맞은 식을 각각 f(m),g(m)이라 할 때, p+g(4)f(2)의 값은? [4점]