Поиск контрпримеров RH — добавление базы данных

В предыдущей статье мы настроили pytest для простого приложения, вычисляющего суммы делителей $ \sigma(n)$ и пытающегося опровергнуть гипотезу Римана. В этом посте мы покажем, как расширить приложение, добавив зависимость от базы данных. База данных хранит вычисленные суммы, чтобы мы могли проанализировать их после завершения работы приложения. Как и в предыдущем посте, я буду ссылаться на конкретные коммиты в окончательном репозитории кода, чтобы показать, как развивается проект.