+4점 · x>0일 때 lnx≤x−1가 성립하는 것을 보이면 된다는 것을 기술하면 +4점 · 위의 부등식을 미분을 이용하여 증명하면(2-1) g(x)=x−lnx−1로 두면 g′(x)=1−x1이므로 제시문 (가)에 의하여 x<1일 때 g(x)는 감소하고 x>1일 때 g(x)는 증가한다. 따라서 g(x)≥g(1)=0이다. 즉 모든 양수 x에 대하여 lnx≤x−1이다.그러므로 alnab≤a(ab−1)=b−a이다.
+6점 · [nk,nk+1]에서 sin(2nπx)ln(x+1)≤sin(2nπx)ln(2n2k+1+1)를 보이면 +4점 · ∫nknk+1sin(2nπx)ln(x+1)dx≤0임을 보이면 +2점 · ∫01sin(2nπx)ln(x+1)dx≤0임을 보이면(2-2) ln(x+1)은 증가하므로 k=0,1,2,…,n−1일 때구간 [nk,2n2k+1]에서 sin(2nπx)ln(x+1)≤sin(2nπx)ln(2n2k+1+1),구간 [2n2k+1,nk+1]에서 sin(2nπx)ln(x+1)≤sin(2nπx)ln(2n2k+1+1)이다.그러므로 구간 [nk,nk+1]에서sin(2nπx)ln(x+1)≤sin(2nπx)ln(2n2k+1+1)이고 제시문 (다)에 의하여∫nknk+1sin(2nπx)ln(x+1)dx≤ln(2n2k+1+1)∫nknk+1sin(2nπx)dx=0이다. 따라서 ∫01sin(2nπx)ln(x+1)dx=k=0∑n−1∫nknk+1sin(2nπx)ln(x+1)dx≤0이다.
+5점 · f(x)lnf(x)≥f(x)ln(x+1)+f(x)−x−1가 성립함을 보이면 +5점 · ∫01f(x)dx=∫01(x+1)dx, ∫01(x+1)ln(x+1)dx=ln4−43를 계산하면 +5점 · ∫01f(x)lnf(x)dx≥ln4−43임을 보이면(2-3) (2-1)의 결과를 이용하면 f(x)lnf(x)x+1≤x+1−f(x)임을 알 수 있다. 그러므로f(x)lnf(x)≥f(x)ln(x+1)+f(x)−x−1이다. 제시문 (다)에 의하여∫01f(x)lnf(x)dx≥∫01{(x−sin(2nπx)+1)ln(x+1)+f(x)−x−1}dx이다. (2-2)의 결과와 ∫01f(x)dx=∫01(x+1)dx, ∫01(x+1)ln(x+1)dx=ln4−43임을 이용하면∫01f(x)lnf(x)dx≥ln4−43임을 안다.