Проверьте, является ли бинарное дерево корректным BST: все элементы левого поддерева строго меньше корня, правого - строго больше, и поддеревья - тоже BST.