awk '$1 < NUMBER { print }' FILENAME | sort -n
где NUMBER - это число, которое вы хотите использовать в качестве верхней границы, а FILENAME - это ваш файл с более чем 10000 строками чисел. Вы можете сбросить | sort -n
, если не хотите сортировать числа.
edit: Одна небольшая оговорка. Если ваша строка начинается с цифры, она будет обрабатываться как эта цифра. В противном случае он должен игнорировать это.