"Что лучше" определяется не только чисто техничесими параметрами, но ещё и - причём в куда большей степени - личными потребностями и возможностями.
Xiaomi Redmi 4 Pro в питерском магазине этой компании стоит 11-12 тыр. А вот Lenovo ZUK Z2 с 64 гигами памяти - уже 18,5 тыр (а ведь есть версия и со 128 гигами). То есть чуть не вдвое дороже, минимум. При том, что технические параметры их отличаются не столь радикально - кроме памяти, который в Леново вдвое больше, чем в Шаоми. Впрочем, в Шаоми есть поддержка карт памяти (в Леново нету), так что меньшая постоянная память - это не сильно большой недостаток. Зато наличие в нём LTE - большое преимущество.
Размеры и вес обих аппаратов примерно сопоставимы (Леново чуть тоньше - 7,5 мм против 8,9 у Шаоми), экраны тоже близкого размера - 5,0 и 5,2 дюйма Шаоми/Леново, но вот технология разная: AMOLED у Леново, IPS (жидкокристаллический) - у Шаоми. Батарея - 3100 у Леново, 4100 у Шаоми. Процессор мощнее у Леново, но не радикально мощнее (для смартфонных задач оба отлично подходят). Батареи, кстати, несъёмные и там, и там, что до некоторой степени минус.
Ну а что из этого лучше - судить придётся самому, с оглядкой на кошелёк...