Automating Asymptotic Estimate Verification: A Python Tool

This post describes a Python tool for automatically verifying asymptotic estimates, particularly those involving a finite number of positive real numbers combined using arithmetic operations like addition, multiplication, division, exponentiation, and min/max. The tool uses case splitting and linear programming to automatically determine if an inequality holds, providing a proof or counterexample. The author illustrates the tool's usefulness with personal examples and discusses future improvements, such as handling more complex expressions and integration into existing mathematical software platforms.