امین الگوریتمی پیدا کرده که می‌تواند $n$ عدد صحیح را از ورودی گرفته و یک درخت دودویی جست‌جو شامل این عناصر بسازد. ثابت کنید الگوریتم امین الزاماً از $\Omega(n\lg n)$ است.