Limits of sequences, algebra of limits, Bolzano Weierstrass theorem