In combinatorics, Sun's curious identity is the following identity involving binomial coefficients, first established by Zhi-Wei Sun in 2002: After Sun's publication of this identity in 2002, five other proofs were obtained by various mathematicians: