다음은 2 이상의 모든 자연수 n에 대하여
k=1∑nk31<21(3−n21)⋯⋯ (★) 이 성립함을 수학적 귀납법으로 증명한 것이다.
<증명>
(i) n=2일 때,
(좌변)=(가)이고 (우변)=811이므로
(★)이 성립한다.
(ii) n=m (m≥2)일 때, (★)이 성립한다고 가정하면
k=1∑mk31<21(3−m21)이다.
n=m+1일 때,
k=1∑m+1k31=k=1∑mk31+(나)<21(3−m21)+(나) 한편,
21{3−(m+1)21}−{21(3−m21)+(나)} =2m2(m+1)3(다)>0 이므로
k=1∑m+1k31<21{3−(m+1)21}
이 성립한다.
따라서 n=m+1일 때도 (★)이 성립한다.
그러므로 2 이상의 모든 자연수 n에 대하여 (★)이 성립한다.
위의 (가)에 알맞은 수를 a, (나), (다)에 알맞은 식을 각각 f(m), g(m)이라 할 때, f(1)g(a)의 값은? [4점]