Nirenberg's conjecture