Beweis. Es sei (an) konvergent gegen a. Für ε = 1 existiert dann ein n0, so daß für jedes n n0 gilt: |an - a| < ε = 1. Es sei d := max{|a0 - a| : n < n0}, |an - a| d für alle n < n0. Für beliebige n gilt dann: |an - a| < 1 + d. Hieraus erhält man

| a n |=| a n a+a | | a n a | <1+d +| a |<1+d+| a |:=c. MathType@MTEF@5@5@+= feaagKart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9 vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=x fr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaWaaqWaaeaaca WGHbWaaSbaaSqaaabaaaaaaaaapeGaamOBaaWdaeqaaaGccaGLhWUa ayjcSdGaeyypa0ZaaqWaaeaacaWGHbWaaSbaaSqaa8qacaWGUbaapa qabaGcpeGaeyOeI0IaamyyaiabgUcaRiaadggaa8aacaGLhWUaayjc SdGaeyizIm6aaGbaaeaadaabdaqaaiaadggadaWgaaWcbaWdbiaad6 gaa8aabeaakiabgkHiTiaadggaaiaawEa7caGLiWoaaSqaaiabgYda 8iaaigdacqGHRaWkcaWGKbaakiaawIJ=aiabgUcaRmaaemaabaGaam yyaaGaay5bSlaawIa7aiabgYda8iaaigdacqGHRaWkcaWGKbGaey4k aSYaaqWaaeaacaWGHbaacaGLhWUaayjcSdGaaiOoaiabg2da9iaado gacaGGUaaaaa@6484@

Folglich ist (an) beschränkt.   <mi 
>P</mi><mi >I</mi><mi >C</mi><mi >T</mi>