[math-fun] Question on real functions