Is there any formula known? There is the following asympotic formula for unlabelled trees: $$t(n) \sim C \alpha^n n^{-\frac{5}{2}}$$ With $t(n)$ the number of unlabelled non-isomorphic trees on $n$ vertices. Is there a similar formula known for forests?
I actually just wanna know if the number of forests is $F(n)=O(\beta^n)$ for some constant $\beta$.
If all we want is a rough estimate, then it's enough to say that
The lower bound has order $\Theta(\alpha^n n^{-5/2})$, and the upper bound has order $\Theta(\alpha^n n^{-3/2})$, so $F(n)$ is somewhere in between.