Даже победа над «Бенфикой» не гарантирует «Зениту» плей-офф Лиги чемпионов?

Да.
Может сложиться такая ситуация, при которой даже победа над «Бенфикой» оставит «Зенит» без плей-офф Лиги чемпионов. Если «Лион» обыграет «Лейпциг», то три команды наберут по десять очков. И питерцы уступят соперникам по личным встречам.

https://www.sport-express.ru/football/champions-league/news/dazhe-pobeda-nad-benfikoy-ne-garantiruet-zenitu-pley-off-ligi-chempionov-1615628/

Гарантирует. Лейпциг в любом случае там, а Лион даже если победит, будет ниже Зенита по личным встречам.

Победа "Лиона" – выходят "Лион" и "Лейпциг".
Ничья "Лиона" – достаточно не проиграть "Бенфике". Второе место.
Проигрыш "Лиона" – "Зенит" выходит при любом результате с "Бенфикой".

"Лейпцигу" наверняка не захочется терять первое место в группе, поэтому, думаю, будут биться

Лион победит немцев/далее идут вместе/.
бомжам светит получить авоську от Бенфики, или в ЛЕ отстоять титул подстилки.
Оживление местных бесенят с голубым отливом - совершенно лишнее.
агония продолжается.

Регламент ЛЧ УЕФА 2019/2020:
Статья 17 Равенство очков - групповой этап 17.01
Если две или более команд равны по очкам после завершения групповых матчей, в указанном порядке применяются следующие критерии для определения их рейтинга:
а. большее количество очков, полученных в групповых матчах, сыгранных среди рассматриваемых команд;
б. большая разница мячей по сравнению с групповыми матчами, сыгранными среди рассматриваемых команд;
с. большее количество голов, забитых в групповых матчах, сыгранных среди рассматриваемых команд;
д. большее количество выездных голов, забитых в групповых матчах, сыгранных среди рассматриваемых команд;
е. если после применения критериев a) -d) команды по-прежнему имеют равный рейтинг, критерии a) -d) повторно применяются исключительно к матчам между оставшимися командами для определения их окончательного рейтинга. Если эта процедура не приводит к решению, критерии f) - l) применяются в порядке, заданном для двух или более команд, которые все еще равны;
е. превосходная разница мячей во всех групповых матчах;
г. большее количество голов, забитых во всех групповых матчах; час большее количество выездных голов, забитых во всех групповых матчах;
я. большее количество побед во всех групповых матчах;
к. большее количество выездных побед во всех групповых матчах;
к. меньшее количество дисциплинарных очков, основанное только на желтых и красных карточках, полученных во всех матчах группы (красная карточка = 3 очка, желтая карточка = 1 очко, исключение двух желтых карточек в одном матче = 3 очка);
л. более высокий клубный коэффициент (см. Приложение D).

Короче: кто в последних ВЫИГРАННЫХ матчах Лиона и Зенита лучше из них наколотит, тот и проходит дальше в ЛЧ. Сейчас у обоих при равенстве очков также и равенство по разнице мячей, за счёт разницы мячей в личных встречах Зенит пока выше. Т. е. Зенит должен как минимум не проиграть и сыграть с такой же разницей мячей, как и Лион, не меньше.

Всё может быть, если три клуба наберут одинаковое количество очков, то "Зенит" будет на третьем месте из-за двух поражений от "Лейпцига". Но и третье место - нормально.

Ваще как-то пох

Всё может быть...