率失真函数对允许的平均失真度具有上凸性。