世间七海!

$\large \int_0^\infty \dfrac{x^7}{1-e^x} \， dx$

如果上面的积分等于 $-\frac AB \pi^C$,在那里 $A、B$而且 $C$互素是正整数吗 $A、B$coprime,找到 $A + B + C$．