Pi

A + B * Pi

例如，欲证明

$$ 14885392687-4738167652\pi\gt 0 $$

运行：

solve pi -4738167652 14885392687

输出：

Bounds   : 0, 1
Function : x**23 * (1-x)**23 * (629602886415/653752 + -1184541913/256*x + 116946872953727/20920064*x**2) / (1 + x**2)

即

$$ \int_{0}^{1} \frac{x^{23} \left(x - 1\right)^{23} \left(- 116946872953727 x^{2} + 96799580588447 x - 20147292365280\right)}{20920064 \left(x^{2} + 1\right)} \mathrm{d}x $$

显然积分结果为 $14885392687-4738167652\pi$ 且被积函数在 $[0,1]$ 上恒非负。