Now you are in the subtree of Математический анализ project. 

3.5. Частичные пределы последовательности. Теорема Больцано-Вейерштрасса