다음은 2 이상의 모든 자연수 n에 대하여 부등식
n+11⋅2+n+22⋅3+n+33⋅4+⋯+n+nn(n+1)<4(n+1)2⋯ (∗) 이 성립함을 수학적귀납법으로 증명한 것이다.
<증명>
부등식 (*)의 좌변을 Sn이라 하자.
(ⅰ) n=2일 때, (좌변)=S2=(가), (우변)=49이므로 (*)은 성립한다.
(ⅱ) n=m (m=2,3,4,⋯)일 때 (*)이 성립한다고 가정하자.
Sm=m+11⋅2+m+22⋅3+m+33⋅4+⋯+m+mm(m+1) 이고,
Sm+1=(m+1)+11⋅2+(m+1)+22⋅3+⋯+(m+1)+m+1(m+1)(m+2) 이므로
Sm+1−Sm=−2(m+11+m+22+m+33+⋯+2mm)+(나)+2m+2 한편,
m+11+m+22+⋯+2mm>m+m1+m+m2+⋯+2mm=(다) 이고 (나)<42m+1이므로 Sm+1−Sm<42m+3이다.
따라서 Sm+1<Sm+42m+3<4(m+2)2이므로 (*)은 n=m+1일 때도 성립한다.
그러므로 (ⅰ), (ⅱ)에서 2 이상의 모든 자연수 n에 대하여 (*)이 성립한다.
위의 증명에서 (가)에 알맞은 수를 a라 하고, (나), (다)에 알맞은 식을 각각 f(m),g(m)이라 할 때, af(3)g(3)의 값은? [3점]