Представим

1

7

как 7-1, тогда 7x ≤ 7-1.
Так как основание показательной функции 7 > 1, то сама функция возрастающая, а значит знак при переходе к аргументам не меняется: x ≤ -1.