Talk:Boggio's formula