E

A + B * E

欲证明

$$ 193-71\mathrm{e}\gt 0 $$

运行：

solve e -71 193

输出：

Bounds   : 0, 1
Function : x**3 * (1-x)**3 * (1/6 + 0*x) * exp(x)

即

$$ \int_{0}^{1} - \frac{x^{3} \left(x - 1\right)^{3} e^{x}}{6} \mathrm{d}x $$