What is f(x) = int 1/x if f(2)=1 ?