извиняюсь за тупейший вопрос но все же..
пусть у меня есть теорема, что (\forall x, G(x) \leq M) => \lim_x G(x) \leq M
как отсюда формально вывести, что (\forall x, y, z G(x, y, z) \leq M) => \forall y, z (\lim_x G(x, y, z) \leq M) ? ну тип у нас была теорема про одномерный случай, а тут теперь три переменных, но две из них типа заморозили и все должно работать
офк это интуитивно понятно но как ето формулками расписать помогите аутисту
если у вас есть ощущение что я не понимаю что спрашиваю то это не просто ощущение