وبفرض x عدد حقيقي موجب ونحن نعلم ان : بضر عدد موجب في عدد موجب يكون الناتج موجب
وبما ان 0.5x ينتمي الى مجموعة الاعداد الحقيقية الموجبة
1 ينتمي الى مجموعة الاعداد الحقيقية الموجبة
فمجموعهما ينتمي الى مجموعة الاعداد الحقيقية الموجبة ويكون اكبر من الواحد