09 2024 档案

摘要：\[x\ln\dfrac{x}{x-1}>1,\quad\forall x>1. \]该不等式曾出现于无旋平衡树（范浩强 Treap）平均时间复杂度证明的一步放缩，但原文并未给出证明. 现将其补完. 实际上，这只是一道很简单的高中导数题罢了. 证明 熟知 \(\ln\) 的切线不等式 \[\ln t 阅读全文