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