[Pascal] Рекуррентные соотношения, дерево вызовов, запоминание

[Skipper Ok]

Необходимо вывести явно рекуррентное соотношение, с помощью которого можно вычислить ответ. Программа должна реализовать это соотношение, используя рекурсию с запоминанием.
Дано число N. Необходимо вычислить количество возможных двоичных деревьев, высота которых не превышает N. Каждый узел в дереве может либо не иметь ни одного потомка, либо иметь сразу двух потомков. Например, для N = 1 возможно только одно дерево, состоящее из одного узла. Для N = 2 возможны уже два варианта - либо дерево из одного узла, либо дерево из узла с двумя потомками. При этом высоты поддеревьев могут отличаться друг от друга.
Помогите пожалуйста, в голову ничего не лезет.