다음은 모든 자연수 n에 대하여
21×43×65×⋯×2n2n−1≤3n+11⋯(★) 이 성립함을 증명하는 과정이다.
<증명>
(i) n=1일 때
21≤41이므로 (★)이 성립한다.
(ii) n=k일 때 (★)이 성립한다고 가정하면
21×43×65×⋯×2k2k−1×2k+22k+1 ≤3k+11⋅2k+22k+1=3k+11⋅1+(가)1 =3k+11⋅(1+(가))21 =3k+1+2(3k+1)⋅((가))+(3k+1)⋅((가))21 <3k+1+2(3k+1)⋅((가))+((나))⋅((가))21 =3(k+1)+11 따라서 n=k+1일 때도 (★)이 성립한다.
그러므로 (i), (ii)에 의하여 모든 자연수 n에 대하여 (★)이 성립한다.
위의 증명에서 (가), (나)에 알맞은 식을 각각 f(k), g(k)라 할 때, f(4)×g(13)의 값은? [4점]