Gaussian polynomial

The function defined by [n]_q | congruent | [n 1]_q | = | (1 - q^n)/(1 - q) for integer n, where [n k]_q is a q-binomial coefficient. The q-bracket satisfies lim_(q->1^-) [n]_q = n.

q-binomial coefficient | q-factorial