(1)f′(x)=?a=(x>0),
当a≤0时,f′(x)>0,f(x)在[1,+∞)上单调递增,
f(x)在[1,+∞)上无最大值,不合题意;
当0<≤1即a≥1时,f′(x)≤0,f(x)在[1,+∞)上递减,
所以f(x)在[1,+∞)上的最大值为f(1)=-a+1,
由f(x)≤0在[1,+∞)上恒成立,得-a+1≤0,解得a≥1;
当>1即0<a<1时,x∈[1,)时f′(x)>0,f(x)递增,x∈(,+∞)时f′(x)<0,f(x)递减,
所以f(x)max=f()=-lna,则-lna≤0,解得a≥1,此时无解;
综上,a≥1,所以实数a的最小值为1;
(2)f(x)=-
x2+b,即lnx+
x2?x+1=b,
令g(x)=lnx+
x2?x+1(x>0),则g′(x)=+x?=,
当1≤x<2时g′(x)<0,g(x)递减,当2<x≤4时g′(x)>0,g(x)递增,
所以x=2时g(x)取得最小值为ln2-2,
又g(1)=-1,g(4)=ln4-1,所以g(x)的最大值为ln4-1,
作出g(x)在[1,4]上的草图如下:

由于方程在[1,4]上恰有两个不相等的实数根,
根据图象可知b的范围为(ln2-2,-1];
证明:(3)由(1)知,因为an+1=lnan+an+2,
所以an+1≤an-1+an+2=2an+1,即an+1+1≤2(an+1),
所以×××…×≤2×2×2×…×2=2n-1,即≤2n?1,
所以an+1≤2n,即