到 REDMI K100 Pro 系列发布会现场啦，大家觉得 4000 元以内能