*** Welcome to piglix ***

Fekete's lemma

...