Source and edition

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

The teaching unit follows Lebl’s treatment in its own words and is dedicated to the public domain under CC0 1.0. GPT-6 Astra (OpenAI), in Codex, at Ultra, wrote it, including the direct absolutely convergent series proof, additional estimates, precise circle endpoint argument, local argument and worked solutions, and self-checked it.

The unit follows lines 1771–2140 of the author’s chapter.

Author’s complete editable chapter · Editable teaching unit · Read the teaching unit