Talk:Nirenberg's conjecture