Is f(x)=9 a function?