回答你下面的问题

o覆盖O 1/3 的扇形，是理论层面的论述，可以说是引理：o要足够大，包括无穷大。

与实际构造没有关系，不存在你“故意”不让足够大的o覆盖住扇形的问题。

如果o不足够大，无论你怎么构造，o都覆盖不住扇形。

剩下的才是如何构造o, 使得o最小。o最小, O才最大。