조건 (가)에 의해
f(1)+⋯+f(n−1)+f(n)=f(n)f(n+1)⋯①
$f ( 1 ) + \cdots + f ( n - 1 ) = f ( n - 1 ) f ( n ) \cdots \text{
②}$
$\text{
①} - \text{
②}$를 하면
f(n)=f(n){f(n+1)−f(n−1)}이다.
따라서 f(n)=0 또는 f(n+1)−f(n−1)=1⋯(∗)이어야 한다.
조건 (나)에 의해
n=3일 때 5−3f(5)−f(3)≤0에서 f(5)≤f(3)
n=4일 때 6−4f(6)−f(4)≤0에서 f(6)≤f(4)
이므로 (∗)에 의해 f(4)=0,f(5)=0이 된다.
조건 (가)에 n=1,2,3을 각각 대입하여 정리하면
n=1일 때 f(1)=f(1)f(2)
n=2일 때 f(1)+f(2)=f(2)f(3)
n=3일 때 f(1)+f(2)+f(3)=0(∵f(4)=0)
(ⅰ) f(3)=0인 경우
f(1)+f(2)=0에서 f(1)=−{f(1)}2이므로
f(1)=0 또는 f(1)=−1이다.
f(1)=0이면 f(2)=f(3)=f(4)=f(5)=0이 되어 사차함수라는 조건에 위배된다.
따라서 f(1)=−1,f(2)=1,f(3)=f(4)=f(5)=0 $\cdots \text{
③}$
이 성립한다.
그래프를 그려보면 사잇값 정리에 의해 (1,2)에서 근을 갖고
f(6)−f(4)≤0을 만족한다.

(ⅱ) f(3)=0인 경우
f(1)+f(2)=−f(2){f(1)+f(2)}에서
f(2)=−1이므로 f(1)=0이 된다.
따라서 f(1)=0,f(2)=−1,f(3)=1,f(4)=f(5)=0이 성립한다.
그래프를 그려보면 f(6)−f(4)≤0을 만족하지 않는다.

(ⅰ), (ⅱ)에 의해 f(x)=(ax+b)(x−3)(x−4)(x−5)이 된다.
③을 대입하면
f(1)=−24(a+b)=−1,f(2)=−6(2a+b)=1에서
a=−245,b=246을 얻는다.
∴f(x)=−241(5x−6)(x−3)(x−4)(x−5)
128×f(25)=27×(−241)(−21)(−23)(−25)(225−6)=65