Now I know that the number of binary trees with n nodes is given by (2n!/(n+1)! n!)
How can I derive this using the basic definition of a binary tree, which says that a binary tree is either an empty tree, or a tree with two children which are also trees?
I thought I could use induction, but I couldn't go beyond the base case:
Base case: f(0) = 1 (There is 1 binary tree with 0 nodes).
Also, I am not supposed to know the term (2n!/(n+1)!), I am supposed to derive it. I don't think induction helps for this. From what I know, induction is used to prove something you know is a fact, not derive that fact.