teorema del máxim y el mínim

teorema:
Si ( A = [a,c]_{K} & (c,b)_{K} = B ) ==> [∃max(A)][ max(A) = c ]


Demostració:
lim max(a_{n}) = c
lim inf(b_{n}) = c


max(a_{n}) [< max(A) [< ( (max(a_{n})+inf(b_{n}))/2 ) or ...
... ( (max(a_{n})+inf(b_{n}))/2 ) [< max(A) [< inf(b_{n})


c [< max(A) [< ( (c+c)/2 ) or ( (c+c)/2 ) [< max(A) [< c


teorema:
Si ( A = (a,c)_{K} & [c,b]_{K} = B ) ==> [∃min(B)][ min(B) = c ]


Demostració:
lim sup(a_{n}) = c
lim min(b_{n}) = c


sup(a_{n}) [< min(B) [< ( (sup(a_{n})+min(b_{n}))/2 ) or ...
... ( (sup(a_{n})+min(b_{n}))/2 ) [< min(B) [< min(b_{n})


c [< min(B) [< ( (c+c)/2 ) or ( (c+c)/2 ) [< min(B) [< c