证明重极限不存在