Skip to main content
2 of 5
edited tags; edited tags
YCor
  • 63.9k
  • 5
  • 187
  • 286

Is it always possible to calculate the limit of an elementary function?

I already asked this question on https://math.stackexchange.com/questions/2691331/is-it-always-possible-to-calculate-the-limit-of-an-elementary-function but as I received no answer; maybe it is not as obvious as I originally thought.

The precise formulation of my question is: define an "strong elementary function" by only admitting rational for the "constant function" in the usual definition of "elementary" function (see for example: https://en.wikipedia.org/wiki/Elementary_function). Let $a$ be an "elementary real" if the constant function $f(x)=a$ is a strong elementary function. With this definition some non rational reals are elementary (for example $\pi=4⋅arctan(1)$); but there are reals that are not elementary. Now let $f(x)$ be a strong elementary function defined in an open interval of an elementary real $a$ with the possible exception of $a$. Suppose that $lim_{x\rightarrow a} f(x)$ exists. Is this limit necessarily an elementary real?

The idea behind this question is this: it seems that "limits" can always be calculated with some simple tricks (Hospital rule, etc...) in elementary calculus; but is there a general argument that shows that it is always possible? (the precise formulation of the question does not ask for an algorithm, I expect a positive answer to be constructive, but that is not entirely clear).