If I type
integrate(x^3/(exp(x)-1),x,0,infinity)
I get
-1/15pi^4 + limit(-1/4x^4 + x^3log(-e^x + 1) + 3x^2dilog(e^x) - 6xpolylog(3, e^x) + 6polylog(4, e^x), x, +Infinity, minus)
I have two questions :
- How do I evaluate the limit ?
- The correct answer is pi^4/15 : why SageMath does not give it ?
Thanks