Собственно, нам дано уравнение прямой, следовательно, она обладает свойством строгой монотонности (в данном случае - убыванием, так как угловой коэфф. отрицательный, детским языком выражаясь).
Зная область определения и видя, понимаем, что чем больше икс, тем функция от икс будет меньше (строгое убывание), а так же видя, что 4 входит в область определения, наименьшее значение функции будет в точке 4: f(4) = -13.