Among mathematicians there is lot of folklore knowledge for which it is not obvious how to find original sources. This knowledge circulates orally.
An example: Among math competition folks, a common conversation is the search for a function over the reals that is infinitely differentiable, with it and all derivatives vanishing only at 0. I think $$f(x) := e^{-\frac{1}{x^2}}\mathrm{\;\;\;\; for\;\;} x \neq 0$$ is an answer to this one, and it is not hard to prove.
Is there any collection of such mathematical folklore, with proofs?
See also my follow-up question here.