a:= lim n->∞ n*(sin(n*45°)+i*(cos(n*45°))
b:= a:= lim 1/n->∞ n*(sin(n*45°)+i*(cos(n*45°))
Betrachte die rechte Seite des Produkts zn:=(sin(n*45°)+i*(cos(n*45°))
Dann gilt zn8 = 1. Für n = 1, 2, . . . , 8 erhalten wir die acht verschiedenen 8. Einheitswurzeln. Außerdem gilt zn+8 = zn. Folglich gilt: HP(zn) = {z1, z2, . . . , z8}.