evaluates f(4) directly

f(4) = 1