Valaki elmagyarázná a bizonyítás menetét? (analízis)

Ha egy mód van rá, ne ebből tanulj, mert szar.

A kékkel aláhúzott részben K(alfa)-val az alfa pont egy környezetét jelöli. (Alfa egy környezete azt jelenti, hogy egy olyan halmaz, aminek alfa belső pontja.) Azt akarta írni a szerző, hogy létezik alfának olyan környezete, ami nem metsz bele [a,b]-be, csak nem sikerült neki.

K: Felső korlát,

k: alsó korlát.

Azt bírom az ilyen bizonyításokban, hogy a szerző bevezet mindenféle jelöléseket, de azt már nem írja oda, hogy melyik mit jelent.