In analisi complessa il teorema di de Branges, noto come la congettura di Bieberbach prima della dimostrazione, afferma che se f {\displaystyle f} è una funzione di variabile complessa data nell'intorno dell'origine dallo sviluppo analitico f = a 1 z + a 2 z 2 + a 3 z 3 + …, con a 1 ≠ 0, {\displaystyle f=a_{1}z+a_{2}z^{2}+a_{3}z^{3}+\ldots,\quad {\text{con }}a_{1}\neq 0,} e se essa mappa il disco unitario conformemente in modo iniettivo, allora | a n | ≤ n | a 1 |, per ogni n = 1, 2, 3, 4, …. Wikipedia