13. 실수 전체의 집합에서 정의된 함수 f(x)f(x)f(x)가 구간 (0,1](0,1](0,1]에서 f(x)={3(0<x<1)1(x=1)f(x)=\begin{cases}3&(0<x<1)\\1&(x=1)\end{cases}f(x)={31(0<x<1)(x=1)이고, 모든 실수 xxx에 대하여 f(x+1)=f(x)f(x+1)=f(x)f(x+1)=f(x)를 만족시킨다. ∑k=120k×f(k)3\sum_{k=1}^{20}\frac{k\times f(\sqrt{k})}{3}∑k=1203k×f(k)의 값은? [4점]