2. Оскар Лэнфорд (Lanford), США, 1975, - уже математически строго вывел уравнение Больцмана, без всяческих допущений, используя анализ динамики шаров "в лоб" (ряды Дайсона), но, к сожалению, только на маленьких временах - как и предсказывал Боголюбов возможности этого метода. На работу Боголюбова он не ссылается, Боголюбов в более поздних работах тоже на него не ссылался, то есть они, наверное, не знали про работы друг друга. Но результат Лэнфорда замечателен тем, что уравнение Больцмана было строго выведено не для бесконечно малых времён, как предполагал Боголюбов, а для конечно малых - как позже оценили (Герберт Шпон (Spohn), выдающийся математический физик из Мюнхена), для времён до 1/5 времени свободного пробега. То есть примерно пятая часть шаров успела один раз столкнуться. Это всего ничего, это ещё практически ничего и не началось, но всё-таки это ненулевое время, за которое энтропия успевает немного вырасти. И вот этот небольшой рост энтропии был именно математически строго доказан.