Мой вопрос: Почему при формулировке правила Лопиталя введено ограничение на знак бесконечности у предела отношения производных? Почему нельзя ослабить это ограничение, оставив бесконечность без знака?
Посмотрите Упражнение 2 в самом конце параграфа 12 и указание к нему (попытайтесь решить самостоятельно -- это не должно быть сложно). Так что Ваше предложение "ослабить ограничение" ничего не даст, но выводы теоремы станут выглядеть хуже (впрочем, можете попытаться дать Вашу формулировку).