f自身が明らかに条件満たすだろ