求二次函数y=-2x²-x+1在[-3，1]的最大值最小值．

下列命题中，真命题的个数有（　　）
①函数y=2^-x是单调递减函数；  
②x₀是方程lnx+x=4的解，则x₀∈（2，3）；
③?x∈R，x2-x+

1

4

≥0；
④?a，b∈R，则“3^a＞3^b”是“log₃a＞log₃b”的充要条件．

函数y=log2

1

x

(x＞0)的反函数是（　　）