x+1>=1
log2(x+1)>=0
反函数定义域是x>=0
2^y=x+1
x=-1+2^y
所以f-1(x)=-1+2^x,x>=0