Иллюстрация точности предсказания формулой (4) количества пар простых близнецов не превышающих

, оба числа в которых взаимно просты с

,

это вся правая скобка из (4) (домноженная на

), т.е. количество пар с хотя бы одним не простым числом,

точное количество таких не простых пар, ну и их отношение:

Видно что начиная с

ошибка не превышает

и,
похоже, не растёт с увеличением

.
UPD. Т.е. с такой же относительной ошибкой

предсказывает количество пар простых близнецов в интервале

, каждое из чисел в которых взаимно простое с

(потому что из общего количества

вычитается количество не простых пар

).
Это лишь
иллюстрация, частью обсуждаемого доказательства не является.