Помогите решить неравенство

О.Д.З.: 
7-2^x > 0
2^x < 7
x < log_2(7)
log_2(7) ≈ 2,81
Основания логарифмов равны и они больше единицы. Значит, убираем логарифмы, знак неравенства не меняется.
5 ≥ 7-2^x
2^x ≥ 2
x ≥ 1
С О.Д.З x∈[1; log_2(7))

А в скобочках (7), это по основанию 7?