В математической логике есть понятия необходимых и достаточных условий - первые соответствуют истинности обратных утверждений, вторые прямых. Например о делении нацело:
1. Чтобы число делилось на 10, НЕОБХОДИМО, чтобы оно делилось на 2.
2. Чтобы число делилось на 2, ДОСТАТОЧНО, чтобы оно делилось на 10.
3. Чтобы число делилось на 10, НЕОБХОДИМО и ДОСТАТОЧНО, чтобы оно делилось на 2 и 5.
Так вот, Ваше ИЗНАЧАЛЬНОЕ утверждение "Обе функции не ограничены снизу. В первой при x2 → -∞ и любом x1 получаем f → -∞" содержало противоречие правилам математической логики: на самом деле истинно обратное утверждение "из f → -∞ следует x2 → -∞", а прямое "из x2 → -∞ следует f → -∞" ложно, потому что x2 → -∞ всего лишь необходимое, но недостаточное условие, а для достаточности нужно добавить второе необходимое о конечности значения х1 вместо "при любом х1".
Эта оплошность малозаметна, но существенна, о чем я, собственно, и написал, а в остальном Вы решили изначально поставленную задачу на отлично и не вдаваясь в излишние подробности о конфигурации задаваемой функцией поверхности. То есть я всего лишь уточнил и спорить ни о чем не собирался...