Не больше - значит, меньше или равно. Они все сказали правду.
Среди них 0 брехунов, а это не больше 1, не больше 2, не больше 3 и не больше 4.
Причем тот, кто сказал "Не больше 4" - сказал правду, их же всего 4.
Если среди них есть один брехун, то опять-таки все сказали правду.
Потому что один - это не больше одного. Получаем противоречие.
Если среди них два брехуна, то соврал только один: который сказал
"Не больше одного". Опять противоречие.
Если брехунов трое, то соврали только двое, которые сказали
"Не больше 1" и "Не больше 2".