+- MKLab (https://mklab.gr)
+-- Forum: [INDEX] (https://mklab.gr/forumdisplay.php?fid=1)
+--- Forum: MATHEMATICS (https://mklab.gr/forumdisplay.php?fid=3)
+---- Forum: ARTICLES (https://mklab.gr/forumdisplay.php?fid=13)
+----- Forum: CALCULUS AND ANALYSIS (https://mklab.gr/forumdisplay.php?fid=149)
+----- Thread: Sophomore's dream (/showthread.php?tid=1800)
Sophomore's dream - mklabgr - 09-02-2026
Summary
The Sophomore’s Dream refers to two remarkable identities connecting definite integrals with infinite series:
$\int_0^1 x^{-x},dx=\sum_{n=1}^{\infty} n^{-n}$
and
$\int_0^1 x^{x},dx=\sum_{n=1}^{\infty}(-1)^{n+1}n^{-n}$.
Their numerical values are approximately $1.291285997\ldots$ and $0.783430511\ldots$, respectively. The identities were discovered by Johann Bernoulli in 1697. The playful name “Sophomore’s Dream” contrasts with the “Freshman’s Dream,” the generally false formula $(x+y)^n=x^n+y^n$. Unlike that tempting but incorrect identity, the Sophomore’s Dream formulas really are true.
The proof begins by rewriting $x^x$ as $e^{x\log x}$ and expanding the exponential into its power series:
$x^x=\sum_{n=0}^{\infty}\frac{x^n(\log x)^n}{n!}$.
After interchanging summation and integration, the problem reduces to calculating integrals of the form $\int_0^1x^n(\log x)^n,dx$. Using a substitution and the Gamma-function identity $\Gamma(n+1)=n!$, one obtains
$\int_0^1\frac{x^n(\log x)^n}{n!},dx=(-1)^n(n+1)^{-(n+1)}$,
which produces the alternating series above. The corresponding calculation for $x^{-x}$ gives the positive series $\sum_{n=1}^{\infty}n^{-n}$. Bernoulli’s original proof predates the Gamma function and instead evaluated the necessary integrals repeatedly using integration by parts.
Key takeaways
- The Sophomore’s Dream gives a surprising exact relationship between integrals, exponential functions, and rapidly convergent infinite series.
- The central technique is the expansion $x^x=e^{x\log x}$ followed by term-by-term integration.
- The proof naturally connects elementary calculus with the Gamma function and factorials.
- The result is historically significant: Bernoulli discovered it in 1697, long before the modern Gamma-function formulation.
ARTICLE