Hi Naimi,
Zu limsupn→∞(an+bn)≤limsupn→∞(an)+limsupn→∞(bn)
Tipp:
Definiere ha : =limsupn→∞an und hb : =limsupn→∞bn. Ferner sei ha+b ein bel. HP von (an+bn). Daraus folgt die Existenz einer Teilfolge (ank+bnk) von (an+bn) mit k→∞limank+bnk=ha+b.
Nun sei ε>0 beliebig. Da ha der größte Häufungspunkt von (an) und hb der größte HP von (bn) ist, gibt es ein k∈N so, dass ∀k≥K : ank<ha+2ε und bnk<hb+2ε.
.... the rest of the proof is left to the reader
Der vermutlich schlimmste Satz in jedem Lehrbuch :-)