*** Welcome to piglix ***

Behrend's formula

...