（lnn）ˡⁿˡⁿⁿ取对数有（lnlnn）（lnlnn）＝（lnlnn）²令t＝lnn，原式＝（lnt）²，构造函数（lnt）²-t，求导得（2lnt/t）-1，由于lnt/t≤1/e（求导可证）显然函数单调递减，又（ln1）²-1＜0，所以（lnt）²＜t，既有当n≥e原式＜lnn成立，取指数回去有0＜原式＜n，既1/（lnn）ˡⁿˡⁿⁿ＞1/n对于n≥e时恒成立，放缩成1/n显然发散（还没学到这，如果没错的话这个思路应该可以，但绕的有点长了）