realanal: move connected in R down. prove algebraic limit theorem for sequences, state the same theorem for continuous functions