1-int(x^3/(e^x-1),x from 0 to 4.965114232)*15/pi^4