函数f（x）的定义域D={x|x≠0}，且满足对于任意x₁，x₂∈D，有f（x₁•x₂）=f（x₁）+f（x₂）．
（1）求f（1）与f（-1）的值；
（2）判断函数的奇偶性并证明；
（3）若x＞1时，f（x）＞0，求证f（x）在区间（0，+∞）上是增函数；
（4）在（3）的条件下，若f（4）=1，求不等式f（3x+1）≤2的解集．

函数f(x)=

1-x

ax

+lnx是[1，+∞）上的增函数．
（Ⅰ）求正实数a的取值范围；
（Ⅱ）若函数g（x）=x²+2x，在使g（x）≥M对定义域内的任意x值恒成立的所有常数M中，我们把M的最大值M=-1叫做f（x）=x²+2x的下确界，若函数f(x)=

1-x

ax

+lnx的定义域为[1，+∞），根据所给函数g（x）的下确界的定义，求出当a=1时函数f（x）的下确界．
（Ⅲ）设b＞0，a＞1，求证：ln

a+b

b

＞

1

a+b

.