Source and edition

Jiří Lebl, Basic Analysis: Introduction to Real Analysis, volume II, version6.3, “Complex exponential and trigonometric functions.”

This is a modified teaching unit under CC BY-SA4.0, selected from the author’s dual grant. It is not the author’s unmodified text. Human authorship and the component terms accompany every copy.

GPT-6 Astra (OpenAI), in Codex, at Ultra, supplied the direct absolutely convergent series proof, additional estimates, precise circle endpoint argument, local argument and worked solutions; it self-checked these additions.

Author’s complete editable chapter · Unmodified selected LaTeX passage · Supplied source terms · Editable teaching unit · Read the teaching unit

The full programme retains this component. An edition that omits share-alike components must retain the citation and explicitly record that it no longer supplies this prerequisite proof.