Леша. Точки. В конце формулировок. Всех формулировок!
Я пришёл с правками!
# После объявления функции нужно б поставить двоеточие.
# У нас не хаскель, а псевдокодопитон. Это я про то, что <tex>\phi</tex> надо определить как нормальную функцию. Ну и да, в случае, когда t > 0, надо б после R выражение в скобки заключить, а то нечитабельно.
# Третий снизу абзац. Что за формула <tex>\phi</tex> вообще?
# А ещё мне кажется, что утверждение, которое мы доказываем на протяжении всего конспекта, должно быть выделено хотя бы в следствие. Или в теорему. Причём мне кажется, удобней это сделать уже после доказательства лемм. [[Участник:Leugenea|Евгений Лукьянец]]