Теория графов

[discobot]

Требуется показать, что число попарно неизоморфных деревьев на n вершинах, не меньше, чем $c_n n^{-2.5} e^n$, где $c_n \rightarrow \frac{1}{2\pi}$