http://alglib.sources.ru/numbers/erat.php http://ru.wikipedia.org/wiki/%D0%A0%...B5%D0%BD%D0%B0 Не знаю, поможет ли.
Примечание от себя: если реализовывать ряд при помощи битовых полей, то там сразу видно, какие итерации пропускать. Правда, к математическому доказательству это не имеет никакого отношения
