（1）根据题意，对于任意n∈N*，总有a_n，S_n，a_n²成等差数列，则对于n∈N^*，总有2S_n=a_n+a_n²①成立

∴2Sn-1=an-1+an-1 2（n≥2）②

①-②得2a_n=a_n+a_n²-a_n-1-a_n-1²，即a_n+a_n-1=（a_n+a_n-1）（a_n-a_n-1）；

∵a_n，a_n-1均为正数，

∴a_n-a_n-1=1（n≥2）

∴数列{a_n}是公差为1的等差数列，

又n=1时，2S₁=a₁+a₁²，解得a₁=1

∴a_n=n．（n∈N^*）

（2）证明：由（1）的结论，a_n=n；对任意实数x∈（1，e]，有0＜lnx＜1，

对于任意正整数n，总有bn=

lnnx

an2

≤

1

n2

．

∴Tn≤

1

12

+

1

22

+…+

1

n2

＜1+

1

1•2

+

1

2•3

+…+

1

(n-1)n

=1+1-

1

2

+

1

2

-

1

3

+…+

1

n-1

-

1

n

=2-

1

n

＜2

对任意实数x∈（1，e]（e是常数，e=2.71828…）和任意正整数n，总有T_n＜2