是定义在上的函数, 若存在区间， 使函数在上的值域恰为，则称函数 是型函数．给出下列命题:
①不可能是型函数；
②若函数是型函数, 则，；
③设函数是型函数, 则的最小值为；
④若函数 是型函数, 则的最大值为．
其中命题正确的是