待会儿简单锐评一下“REDMI冲5K”这事儿。