# Polynomial functionals and integrals

[All sections](../README.md)

## Modules

| Module | Verified result |
|---|---|
| [LamzouriMollifier](LamzouriMollifier.en.md) | Positivity of the prescribed quadratic denominator and the exact quotient 165/224 at parameter 1. |
| [LamzouriOptimization](LamzouriOptimization.en.md) | Rewriting quotient comparisons, endpoint values, and a bound above 0.6725 throughout [0,2]. |
| [LamzouriMeasure](LamzouriMeasure.en.md) | An interval integral of a squared trial polynomial equals the functional; its minimum 1/8 is attained exactly at c=−5/2. |

## Scope

The conclusions concern the specified trial family and functional. They are not a proof of a general analytic number theory bound outside that model.

[Contributing](../CONTRIBUTING.en.md) · [Validation](../VERIFICATION.en.md)