User blog comment:Mango523WNR/Feb 6, 2020/@comment-35470197-20200206131950

The inequality 3^^n>(n-1)PT1 does not necessarily hold. For example, putting n=2, you have 3^^n = 3^3 = 9 < 10 = 10^1 = (n-1)PT1.