Kim's conjecture on eventual equality of nonabelian Chabauty sets
Kim's conjecture. For n≫0n\gg 0n≫0,