By computing the sum of all Bernoulli numbers via Borel summation (I learned this technique from Varadarajan's excellent book Euler through time. A new look at old themes, 2006) I found that $$\sum B_n = \int_0^\infty \frac{t}{e^{2t}e^t} dt$$ and discovered numerically that this expression equals $\zeta(2)1$. The web is not very good for finding out where this can be found in print. Where should I look, and how can equations such as $$\zeta(2) = 1 + \int_0^\infty \frac{t}{e^{2t}e^t}\ dt$$ be proved?
The starting point is the integral
$$ \Gamma(s) = \int_{0}^{\infty}e^{x}x^{s1}dx $$
for the gamma function. Make the change of variable $x = nu$ with $n$ an arbitrary positive integer. Then
$$ \Gamma(s)n^{s} = \int_{0}^{\infty}e^{nu}u^{s1}du $$
and summing over $n$ from $n = 1$ yields
$$ \Gamma(s)\zeta(s) = \int_0^{\infty}\frac{1}{e^u  1}u^{s1}du. $$
This formula was the starting point of one of Riemann's two proofs of the functional equation. I am not certain who discovered it first, but it may have been Abel.
Substituting $s = 2$ gives
$$ \zeta(2) = \int_{0}^{\infty}\frac{u}{e^u  1}du $$
and so
$$ \zeta(2) = \int_{0}^{\infty}\frac{ue^u}{e^{2u}  e^u}du = \int_{0}^{\infty}\frac{u(e^u  1) + u}{e^{2u}  e^u}du = \int_{0}^{\infty}\left(ue^{u} + \frac{u}{e^{2u}  e^u}\right)du = 1 + \int_{0}^{\infty}\frac{u}{e^{2u}  e^u}du. $$

$\begingroup$ See also my answer to Why does the Gammafunction complete the Riemann Zetafunction? mathoverflow.net/questions/7656/… $\endgroup$ – Harald HancheOlsen Feb 6 '10 at 17:44

$\begingroup$ I did have the general formula involving zeta(n), but stupidly put the n! on the wrong side of the equation and concluded that the formula for Gamma(s) zeta(s) would not help me (. I am not aware of any work on zeta(s) done by Abel  did you mean Euler? He had a formula equivalent to that for Gamma(n) zeta(n) for n=2, 3, 4, 5. \@engelbrekt: If you care about being referred to by your real name, please send me an email : hb3 at ix.urz.uniheidelberg.de $\endgroup$ – Franz Lemmermeyer Feb 6 '10 at 18:32

2$\begingroup$ I now have a reference (from page 9 of H. M. Edwards' book Riemann's Zeta Function): N. H. Abel, Solution de quelques problemes a l'aide d'integrales définies . Mag. Naturvidenskaberne 2 (1823). Abel does the case when $s = 2m$ is an even positive integer. According to W. Narkiewicz on page 133 of The Development of Prime Number Theory, the early history of $\zeta(s)$ is covered by G. Schuppener in Geschichte der ZetaFunktion von Oresme bis Poisson. Deutsche Hochschulschriften 533. HänselHohenhausen, Egersbach. $\endgroup$ – engelbrekt Feb 6 '10 at 19:35