정사각형과 직각삼각형의 삼각비 활용

문제

그림과 같이 한 변의 길이가 $s$인 정사각형 ABCD가 있습니다. 변 BC 위에 점 E가, 변 CD 위에 점 F가 있습니다. $\triangle AEF$가 $\angle AEF = 90^\circ$인 직각삼각형이고, $\tan(\angle EAF) = \frac{1}{2}$일 때, $\sin(\angle EFC)$의 값을 구하시오.