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