Finally De Branges (1985) proved |an| ≤ n for all n.
最終的に de Branges (1985) は、全ての n に対して|an| ≤ n が成り立つことを証明した。