( f \ o. Inf.