Talk:Gijswijt's sequence