یک جایگشت $p_1, p_2, \dots, p_n$ از مجموعه $\{1, 2, \dots, n\}$
یک {\ir جایگشت خوب } نامیده می‌شود اگر برای هر $1 \le i \le n$ شرایط
زیر برقرار باشد:
ثابت کنید که اگر $p$ یک جایگشت خوب باشد، برای هر $1 \le i \le n$ داریم $p_1 \le p_i$ .
ثابت کنید که اگر $p$ یک جایگشت خوب باشد، تعداد اعضای مجموعه $\{i \mid 1\le i \le n, p_i \ge p_2\}$ بزرگ‌تر یا مساوی با $n - 1 \over 2$ است.
اگر $n = 2^k-1$ باشد، $T_k$ را مساوی با تعداد جایگشتهای خوب مجموعه $\{1, 2, \dots, n\}$ تعریف می‌کنیم. یک رابطه بازگشتی برای محاسبه $T_k$ پیدا کنید.