formula_7 es el conjunto de todos los posibles números de ocupación para cada uno de esos microestados, de manera que Σ"n" = "N".