ANT Asymptotic Transforms

ANT asymptotic transforms build on AsympEnv.

Use this page for:

• Stieltjes-Abel transform certificates;
• one-over-n weighted sums;
• Dirichlet-hyperbola envelopes;
• dyadic slab/tail domination checks for generated errors.

Reusable envelope templates:

• Asymptotic Envelopes
• Pointwise Envelopes

Detailed API reference:

Asymptotic Envelope Certificates

This domain library builds on reusable proof templates:

• Asymptotic Envelopes
• Pointwise Envelopes