Fuente TeX:

n\geq p_1 ... p_n \geq 2...2 = 2^n