Ми зауважимо, що інфімум береться за компактні множини і, отже, може бути замінений мінімумом.
Зробіть текст більш зв'язним: Ми помічаємо, що інфімум береться за компактні множини і. Можна замінити по мінімуму.