(שהרי אם 0 הוא חסם תחתון של a אז 1/0 הוא חסם תחתון של A בחזקת -1 וזה בעצם אין פתרון אז זה אומר שהיא לא חסומה..)
לדעתי, ההוכחה שבסוגריים הינה מקרה פרטי של A כאשר, כמו שציינת, החסם התחתון (שים לב שזה חסם תחתון ולא מלרע) הוא באמת 0. כאשר ההוכחה הכללית מתייחסת למקרים שבהם infA שונה מ-0.