Dokažimo najprije da najveći koeficijent u binomnom razvoju izraza (a+b)2n iznosi (n2n). Omjer dva uzastopna koeficijenta iznosi
(k−12n)/(k2n)=(k−1)!(2n)⋯(2n−k+2)⋅(2n)⋯(2n−k+1)k!=2n−k+1k.
Taj je omjer manji od 1 onda i samo onda kad je
k<2n−k+1⟺k<n+21.
Prema tome, najveći koeficijent će se dobiti za k=n.
Sada treba pokazati da je (n2n) paran broj.
Binomni koeficijent jednak je zbroju koeficijenata koji mu prethode u Pascalovom trokutu:
(n2n)=(n−12n−1)+(n2n−1)=(2n−1−(n−1)2n−1)+(n2n−1)=(n2n−1)+(n2n−1)=2⋅(n2n−1)
pa je doista (n2n) paran broj.