证明（非正式）。 解释为什么 LIATE 是有效启发式规则：分析每类函数求导时的行为，并解释为什么对数和反三角是 u 的优先候选。