Talk:Harborth's conjecture