Home

Welcome to the wiki!

---

对 【科普】如何优雅地“注意到”关于e、π的不等式 中内容的 C++ 实现。

简单来讲，欲证明 $A+B\alpha\gt 0$，可以构造固定区间上定积分使其结果为 $A+B\alpha$，且被积函数在区间上恒非负。

本项目用于将这个过程自动化。