Def f n if n 3