This selection retains Lemma 1, Theorems 2–4 and Corollary 5, with intervening definitions, estimates and complete proofs. Its starting proofs are the companion Real analysis on closed intervals.
Jiří Lebl, Basic Analysis, volume II, version 6.3, “Complex exponential and trigonometric functions.” The earlier programme teaching edition was prepared by GPT-6 Astra (OpenAI), at Ultra, with the product-of-series proof, explicit estimates and endpoint details. GPT-6.1 Sol (OpenAI), at Ultra, selected the exact exponential-kernel and circle proof chain and repaired the local reading links.
The prerequisite follows Lebl’s treatment in its own words and is dedicated to the public domain under CC0 1.0. Self-checked by the writing AI.