다음은 모든 자연수 n에 대하여 2n−1≤n!임을 이용하여
k=1∑n2⋅k!3k−1+1≤2n3n−1⋯ (★) 이 성립함을 수학적 귀납법으로 증명한 것이다.
<증명>
(ⅰ) n=1일 때,
(좌변)=(가)이고 (우변)=1이므로 (★)이 성립한다.
(ⅱ) n=m일 때, (★)이 성립한다고 가정하면
k=1∑m2⋅k!3k−1+1≤2m3m−1이다. n=m+1일 때,
k=1∑m+12⋅k!3k−1+1=k=1∑m2⋅k!3k−1+1+(나)≤2m3m−1+(나) 한편, 모든 자연수 n에 대하여 2n−1≤n!이 성립하므로
k=1∑m+12⋅k!3k−1+1≤2m3m−1+(나)≤2m3m−1+(다)3m+1=(다)3m+1−1 이 성립한다.
따라서 n=m+1일 때도 (★)이 성립한다.
그러므로 모든 자연수 n에 대하여 (★)이 성립한다.
위의 증명에서 (가)에 알맞은 수를 p, (나), (다)에 알맞은 식을 각각 f(m), g(m)이라 할 때, f(p)×g(p)의 값은? [4점]