（1）∵a₁=1，S_n+1=2S_n+3n+1，∴S₂=2S₁+4=a₁+a₂．∴a₂=5．

又当n≥2时，S_n=2S_n-1+3（n-1）+1，∴S_n+1-S_n=2（S_n-S_n-1）+3，

即得a_n+1=2a_n+3．a_n+1+3=2（a_n+3），（n≥2）．----------------------------（4分）

a2+3

a1+3

=

8

4

=2，∴数列{a_n+3}是公比为2，首项为a₁+3=4的等比数列．…（2分）

（2）由（1），知a_n+3=4•2^n-1．∴an=2n+1-3，Sn=

4(1-2n)

1-2

-3n=2n+2-3n-4．

∴f(n)=

2n+1-1，n=2k-1 n+1，n=2k

(k∈N*)．…（4分）

①当m为偶数时，∵f（m）=m+1，f（2m²）=2m²+1，

∴不存在自然数m，使f（m）＞f（2m²）恒成立．…（2分）

②当m为奇数时，f（m）=2^m+1-1，f（2m²）=2m²+1，而f（m）＞f（2m²），

当m=1时，f（m）=2¹⁺¹-1=3=f（2m²）=3；

当m=3时，f（m）=2²⁺¹-1=15＜f（2m²）=19；--（2分）

当m=5时，f（m）=2³⁺¹-1=63＞f（2m²）=51；

当m≥5时，即证：2^m＞m²+1恒成立

ⅰ）m=5，已证

ⅱ）假设m=k（k≥5），结论成立，即2^k＞k²+1

则m=k+2时，2^k+2=4•2^k＞4（k²+1）

而4（k²+1）-（k+2）²-1=k（3k-4）-1＞0

则2^k+2＞（k+2）²+1

即 m=k+2时，结论成立

所以当m≥5且为奇数，f（m）＞f（2m²）成立，-（3分）

此时m的最小值为5．---（1分）