Uit de lucht komen vallen

$\LARGE \int\limits_0^\infty {\frac{{x^3 }}{{e^x - 1}}} \,dx = \frac{{\pi ^4 }}{{15}}$