다음은 n≥2인 모든 자연수 n에 대하여 [4점]
(1+131)(1+231)(1+331)⋯(1+n31)<3−n1⋯㉠ 이 성립함을 수학적귀납법으로 증명하는 과정이다.
<증명>
(i) n=2일 때
(좌변)=(1+131)(1+231)=49, (우변)=3−21=25이므로 ㉠이 성립한다.
(ii) n=k (k≥2)일 때 ㉠이 성립한다고 가정하면
(1+131)(1+231)(1+331)⋯(1+k31)<3−k1⋯㉡ ㉡의 양변에 (가)를 곱하면
(1+131)(1+231)(1+331)⋯(1+k31)((가)) <(3−k1)((가))⋯㉢ ㉢의 우변을 정리하면
(우변)=3−k(k+1)3(나) 이 때, k(k+1)3(나)−k+11 (다) 0
따라서 n=k+1일 때도 ㉠이 성립한다.
그러므로 (i), (ii)에 의하여 n≥2인 모든 자연수 n에 대하여 주어진 부등식은 성립한다.
위의 증명 과정에서 (가), (나), (다)에 알맞은 것은?