f_nの定義から明らかだと思うが。