解法: ミリン予想を経由したド・ブランジュによるビーバーバッハ予想の証明(1984年)

de BrangesはLoewner鎖に沿って、各Milinの添字 $n$ に一つの汎関数 $\Phi_n(t)$ を対応させ、$\Phi_n(0)=0$ と正規化した。その終点の不等式はMilinの重み付き和そのものである。したがって必要なのは $\Phi_n(1)\le0\Longrightarrow\sum_{k=1}^{n}(n+1-k)k(|\gamma_k|^2-1/k^2)\le0$ である。これは全体の重み付き和についての主張であり、各項を個別に評価する主張ではない。