The sequence in the title is given by the following ‘nice’ formula or, in product notation Here denotes the product . This formula was conjectured by Mills, Robbins and Rumsey to count what are called alternating sign matrices (ASMs), which is the subject of this post.
An alternating sign matrix (ASM)