Доказал выше неформально

Это почти самая сложная часть задачи так-то

я пропустил где ты доказал

.

омг. ничо не понятно

получается если есть три точки, то они образуют плоскость. Сечение окружность. Направим OZ перпендикулярно этой плоскости через центр. Максимально отдаленная точка на сфере от этой плоскости это пересечение OZ и сферы. Получается полярный угол этой точки pi, а полярный угол любого датчика больше* либо равно pi/2. Значит сигнал должен пройти pi/2 по сфере, а у нас там получается максими 2arccos(3/4) что где то 1.44

Ну смотри. Если тремя одинаковыми недополусферами можно шар покрыть, значит, их можно спроецировать на плоскости основания, получив фигуру (с конечным объёмом). Но не существует трёх плоскостей, способных поделить трёхмерное пространство так, что в нём будет существовать такая фигура, ограниченная этими плоскостями. Пришли к противоречию и получили вывод, что оценка снизу 4.

а понял. да так тоже можно

Оценка сверху исходит из правильного тетраэдра, уже сказал

коллективный разум путешественника решил задачу.

зафигачил себе лимонад

всем советую

Зафигачил себе teloxide
Всем советую

полтора литра газированой воды + один лимон + два лайма

плюс лёд

офигенно спасает в чёртовы +27

Ew, лаймы

лаймы это улучшенные лимоны