مَبْدَأ أَرَشِمِيدِس (archimedes principle)

مَبْدَأ أَرَشِمِيدِس إذا كان $a , b$ عددين حقيقيين موجبين، فإنه يوجد عدد صحيح موجب $n$ بحيث يكون $n a > b$ .