Beweisarchiv: Analysis: Konvergenz