Phragmén-Lindelöf 定理

设 是一个 解析函数 在一个角域 中。假设存在一个常数 使得对于每个 ，每个有限边界点都有一个 邻域 使得 在 与这个 邻域 的交集上成立，并且对于某个 正数 ，对于足够大的 ，不等式 成立。那么 在 中成立。