Fonction de Buchholz