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