Phragmén-Lindelöf 定理

設 是一個 解析函式 在一個角域 中。假設存在一個常數 使得對於每個 ，每個有限邊界點都有一個 鄰域 使得 在 與這個 鄰域 的交集上成立，並且對於某個 正數 ，對於足夠大的 ，不等式 成立。那麼 在 中成立。