Баловался с МТФ, в результате чего наткнулся на следующий фильтр:

Здесь

- наименьшее простое большее либо равное

.
Фильтр выделяет простые
A005385, т.е. такие простые

, что

также простое. Как и в МТФ, окромя них вылазят и составные

, но от них легко избавиться проверив

на простоту.
Т.е. мы выполняем всего 2 операции:
- используем фильтр выше
- проверяем на простоту

Если во втором случае мы получили простое, тогда это означает, что

тоже простое.
Чем все это можно объяснить? Насколько эффективен приведенный выше алгоритм (например, в плане отсутствия неочевидных ошибок)?