# Why is there no formula for partial sums of some simple series?

I'm pretty sure that the sequences like $F_n=\sum_{k=1}^n \frac 1k$ are not traces of elementary functions on positive integers (take any reasonable definition of "elementary" you want, just make sure that all high school formulae are there). However, all proofs of non-elementarity I know make heavy use of differential fields and I do not see what and how to differentiate in this discrete setting. Any ideas, suggestions, or references?

P.S. I posted it on AoPS as well but then decided that there may be a slightly better chance to get an answer here :)

-
Most "elementary sequences" are restriction of holomorphic functions, so you can use ODEs and such on them. – Mariano Suárez-Alvarez Dec 3 '11 at 2:52
You mean "meromorphic in a neighborhood of the real line". OK, I'm happy with assuming that my elementary function field consists only of such functions (this excludes $\sin(1/x)$, by the way, but we can handle this and other similar stuff later). But how one can derive any ODE from knowing only the values at the positive integers still remains a mystery to me. – fedja Dec 3 '11 at 4:15
One can prove, for example, that $F_n$ defined above is not a rational function in $n$. – Gerald Edgar Dec 3 '11 at 14:23

"Trace" here is just a synonym of "restriction" (perhaps, with a possibility that the function is not defined at finitely many integer points). The question is how to show that there exist no elementary function $f$ such that $F_n=f(n)$ for (almost) all $n\in\mathbb N$. I'll surely take a look at the references you mentioned :). – fedja Dec 3 '11 at 13:21
Petkovsek seems to be far short of what I would really like to see (he cannot even cover $e^{1/x}$ as "elementary"). A=B looks more exciting though it'll certainly take me some time to digest it and to understand if it really leads anywhere near where I want to land. – fedja Dec 3 '11 at 13:56