Ladner定理由Padding SAT证明

Question

在定理的证明中，他们使用i的TM数量不超过f（n）= loglog（）。我必须找到渐近增长最快的：ℕ→ℕ，这样拉德纳定理仍然成立。我不明白该如何开始。