inequality-chain

What problem does it solve?

Prove inequalities by combining classical inequalities and chaining bounds in analysis, providing a structured workflow for verifying bounds and deriving results.

Core Features & Use Cases

• Systematic method to apply AM-GM, Cauchy-Schwarz, triangle inequality, Jensen's inequality, and other tools to bound expressions.
• Step-by-step framework (classify, select patterns, apply chaining) with worked examples for sums, products, and norms.
• Optional Lean formalization guidance and ready-to-use templates for common inequality proofs.

Quick Start

To get started, provide a concrete inequality problem and I will apply AM-GM, Cauchy–Schwarz, and chaining to derive a bound.