Excelente post!
Uma correção para algo que certamente fora erro de digitação: o primeiro caso especial do somatório (somatório da variável de controle), trata-se da metade do produto entre o limite superior e o seu sucessor (e não o antecessor, como exposto).

Parabéns pelo artigo!