Correct Boltzmann Counting

Write down the partition function of a gas of NN identical molecules and you face a subtle trap. The natural move is to take the single-particle partition function z1z_1 and raise it to the NN-th power — one factor per particle. But that quietly assumes the particles wear labels, and identical molecules do not: swapping molecule 3 with molecule 7 produces the same physical microstate, not a new one. The labelled phase-space integral counts every genuine configuration N!N! times over. The cure is a single, deceptively humble factor: divide by N!N!. This is correct Boltzmann counting, and without it classical statistical mechanics is quietly broken. The symptom of the error is a failure of extensivity. Entropy, free energy, and volume ought to double when you double the system at fixed density — a bucket of gas plus an identical bucket has twice the entropy. The uncorrected entropy does not: it carries a spurious kBNln⁡Nk_BN\ln N term that makes it grow faster than the system size. The most famous face of this defect is the Gibbs paradox — the absurd prediction that removing a partition between two halves of the same gas increases the entropy. Dividing by N!N! turns the offending VNV^N into approximately (V/N)N(V/N)^N, restores extensivity to the last decimal, and makes the paradox vanish. Gibbs introduced the 1/N!1/N! on purely thermodynamic grounds, decades before quantum mechanics existed. Its deeper origin is quantum: identical particles are fundamentally indistinguishable, and in the dilute, non-degenerate limit where each single-particle state is almost never doubly occupied, the exact Bose-Einstein or Fermi-Dirac counting collapses to exactly z1N/N!z_1^N/N!. The factorial is the last fingerprint of quantum indistinguishability surviving into the classical world — and it is the reason the Sackur-Tetrode entropy of argon matches the calorimeter to a fraction of a percent.

Key takeaways
  • A gas of NN identical particles has partition function zN=z1N/N!z_N=z_1^N/N!, not z1Nz_1^N: the labelled phase-space integral overcounts each physical microstate by the N!N! permutations of identical particles.
  • Dividing by N!N! — "correct Boltzmann counting" — restores the extensivity of SS, FF, and μ\mu and resolves the Gibbs paradox of mixing identical gases.
  • Without it, the entropy carries a spurious kBNln⁡Nk_BN\ln N term and grows superextensively (off by 2NkBln⁡22Nk_B\ln 2 when you double the system).
  • The 1/N!1/N! turns the non-extensive VNV^N into the extensive (V/N)N(V/N)^N, and the chemical potential μ=kBTln⁡(nλ3)\mu=k_BT\ln(n\lambda^3) becomes intensive as it must be.
  • It is the unique prefactor that fixes extensivity: no constant cNc^N can do the job, only N!N! (via Stirling's Nln⁡N−NN\ln N-N).
  • The factor is the classical, dilute limit (nλ3≪1n\lambda^3\ll1) of quantum indistinguishability; near degeneracy it fails and full Bose/Fermi statistics are required.
  • Key idea: identical particles are indistinguishable, so the labelled classical measure overcounts each microstate by N!N!; dividing zNz_N by N!N! is exactly what makes SS, FF, and μ\mu extensive and resolves the Gibbs paradox.
The core insight

Identical particles are indistinguishable, so the labelled classical phase-space measure counts each physical microstate N!N! times; dividing zNz_N by N!N! restores the extensivity of the entropy, free energy, and chemical potential and dissolves the Gibbs paradox — and this factor is the classical shadow of quantum indistinguishability.

Where this lives today

Correct Boltzmann counting is quietly load-bearing across physics and chemistry. Its most direct experimental test is the Sackur-Tetrode entropy: the absolute molar entropies of the noble gases, computed from S=NkB[ln⁡(V/(Nλ3))+5/2]S=Nk_B[\ln(V/(N\lambda^3))+5/2], match the values obtained by integrating measured heat capacities up from absolute zero to a fraction of a percent — a routine but striking confirmation that the 1/N!1/N! is physically real. The intensive chemical potential μ=kBTln⁡(nλ3)\mu=k_BT\ln(n\lambda^3) that only the factor produces is the foundation of the law of mass action, and therefore of every equilibrium constant in chemistry. In astrophysics, the Saha ionization equation — which sets the degree of ionization in stellar atmospheres and predicts spectral classes — balances chemical potentials that each carry their own species' 1/Ni!1/N_i! and thermal wavelength. And in the theory of dilute solutions, the entropy of mixing −kB∑iNiln⁡xi-k_B\sum_i N_i\ln x_i, which survives correct counting only because it distinguishes solute from solvent, yields van 't Hoff's law of osmotic pressure. Wherever an entropy, a chemical potential, or an equilibrium constant is computed for identical particles, the 1/N!1/N! is doing silent work.

The physical picture

Start with the simplest possible caricature: two identical coins. If you secretly tag them A and B, you count "A-heads, B-tails" and "A-tails, B-heads" as two distinct arrangements. But if the coins are genuinely identical, you cannot tell those apart — there is one arrangement, "one heads and one tails." The classical phase-space integral always carries hidden labels (it integrates over particle 1, particle 2, and so on separately), so it systematically overcounts. For NN particles spread over many more accessible cells than there are particles, almost every configuration has all particles in distinct cells, and the overcount is a uniform N!N! — which is exactly why a single constant divisor cures it. Think of the 1/N!1/N! as a "permutation tax" that converts a sum over labelled arrangements into a sum over genuine, physically distinct configurations. The tax is uniform in the dilute regime because double occupancy is negligible; every microstate is overcounted by the same N!N!, so one factor pulled out front fixes them all at once.

Figure
Two identical particles in labelled boxes: swapping labels gives the SAME physical microstate. The labelled integral counts it twice (N! = 2 times for N=2); dividing by N! keeps one copy.
labelled count (wrong) 1 2 state A 2 1 state B (just a swap) = physical count (right) ONE state · divide by N! = 2

The 1/N!1/N! is the precise place where quantum indistinguishability bleeds into classical mechanics. Even after ℏ\hbar has been sent to zero everywhere else in the calculation, the symmetry of the wavefunction under particle exchange leaves behind exactly 1/N!1/N! (alongside the 1/h3N1/h^{3N} that fixes the absolute size of a phase-space cell). The diagnostic that tells you the factor is doing real work is extensivity: the free energy must satisfy F(λN,λV,T)=λF(N,V,T)F(\lambda N,\lambda V,T)=\lambda F(N,V,T). The punchline figure below shows what happens if you forget it — the entropy per particle, which should be a flat horizontal line, instead climbs without bound as ln⁡N\ln N.

Figure
Punchline: entropy per particle S/N versus system size N at fixed density. WITH 1/N! it is flat (extensive, blue). WITHOUT it, S/N grows like ln N (superextensive, red) — the Gibbs defect, unbounded and unphysical.
system size N (log scale) → S / N (per particle) with 1/N!: flat (extensive) without 1/N!: grows as ln N (wrong) the gap = spurious k_B ln N

The core equations

The whole subject rests on one modification to the classical partition function: an explicit division by N!N! for a system of NN identical, freely exchanging particles. This is the object from which all thermodynamics is then computed.

ZN=1N! 1h3N∫d3Nq  d3Np  e−βH(q,p)(1)Z_N = \frac{1}{N!}\,\frac{1}{h^{3N}}\int d^{3N}q\;d^{3N}p\; e^{-\beta H(q,p)} \qquad (1)

where: ZNZ_N — the NN-particle canonical partition function; N!N! — the Gibbs counting factor that removes the permutation overcount; h3Nh^{3N} — the phase-space cell size making ZNZ_N dimensionless (a second quantum remnant); β=1/(kBT)\beta=1/(k_BT); HH — the classical Hamiltonian. Reading it: both 1/N!1/N! and 1/h3N1/h^{3N} are corrections that the pre-quantum theory could not justify but that the quantum classical-limit supplies exactly. For non-interacting particles the Hamiltonian separates, and the multi-particle partition function factorizes into single-particle pieces — divided by the counting factor.

ZN=z1 NN!,z1=Vλ3,λ=h2πmkBT(2)Z_N=\frac{z_1^{\,N}}{N!},\qquad z_1=\frac{V}{\lambda^3},\qquad \lambda=\frac{h}{\sqrt{2\pi m k_BT}} \qquad (2)

where: z1z_1 — the single-particle partition function; VV — volume; λ\lambda — the thermal de Broglie wavelength; mm — particle mass. Reading it: z1=V/λ3z_1=V/\lambda^3 counts how many thermal-wavelength-sized cells fit in the box, and z1/N=V/(Nλ3)z_1/N=V/(N\lambda^3) is intensive — the phase-space occupancy per particle. Taking F=−kBTln⁡ZNF=-k_BT\ln Z_N and applying Stirling's approximation to ln⁡N!\ln N! produces the extensive free energy — the payoff of the whole exercise.

F=−kBTln⁡ZN=−NkBT[ln⁡ ⁣(VNλ3)+1](3)F=-k_BT\ln Z_N=-Nk_BT\left[\ln\!\left(\frac{V}{N\lambda^3}\right)+1\right] \qquad (3)

where: V/NV/N — the volume per particle. Reading it: because FF depends on NN and VV only through the intensive ratio V/NV/N (times an overall NN), it scales linearly with system size — extensivity restored. The crucial −ln⁡N!≈−Nln⁡N+N-\ln N!\approx -N\ln N+N is what converts the offending ln⁡V\ln V into ln⁡(V/N)\ln(V/N). Differentiating FF with respect to temperature gives the Sackur-Tetrode absolute entropy, and with respect to NN gives the chemical potential — both intensive-per-particle, both finite in the thermodynamic limit only because of the 1/N!1/N!.

S=NkB[ln⁡ ⁣(VNλ3)+52],μ=kBTln⁡(nλ3)(4)S=Nk_B\left[\ln\!\left(\frac{V}{N\lambda^3}\right)+\frac52\right],\qquad \mu=k_BT\ln(n\lambda^3) \qquad (4)

where: n=N/Vn=N/V — the number density; the 5/25/2 splits as 3/23/2 (from the energy, −∂F/∂T-\partial F/\partial T) plus 11 (from the counting factor). Reading it: SS and μ\mu depend only on the intensive nλ3n\lambda^3, so doubling the system doubles SS and leaves μ\mu unchanged — exactly what a well-behaved entropy and chemical potential must do.

Derivation AWhy 1/N! restores extensivity — and why nothing else can

The goal is to prove that dividing z1Nz_1^N by N!N! makes the entropy exactly extensive, S(λN,λV,λE)=λS(N,V,E)S(\lambda N,\lambda V,\lambda E)=\lambda S(N,V,E), and that no simpler prefactor — in particular no constant raised to the NN-th power — can do the same. The strategy is to compute the entropy with and without the factor, apply Stirling to ln⁡N!\ln N!, and test homogeneity of degree one under a joint rescaling of NN and VV at fixed intensive variables.

Step 1. With the factor, F=−kBT[Nln⁡(V/λ3)−ln⁡N!]F=-k_BT[N\ln(V/\lambda^3)-\ln N!]. Apply Stirling ln⁡N!≈Nln⁡N−N\ln N!\approx N\ln N-N: the bracket becomes Nln⁡(V/λ3)−Nln⁡N+N=N[ln⁡(V/(Nλ3))+1]N\ln(V/\lambda^3)-N\ln N+N=N[\ln(V/(N\lambda^3))+1], so F=−NkBT[ln⁡(V/(Nλ3))+1]F=-Nk_BT[\ln(V/(N\lambda^3))+1], equation (3).

Step 2. Differentiate: S=−∂F/∂T=NkB[ln⁡(V/(Nλ3))+5/2]S=-\partial F/\partial T=Nk_B[\ln(V/(N\lambda^3))+5/2], where the extra 11 over the naive 3/23/2 comes from the temperature dependence of λ−3∝T3/2\lambda^{-3}\propto T^{3/2} combined with the +1+1 from Stirling.

Step 3. Rescale N→λNN\to\lambda N, V→λVV\to\lambda V at fixed TT (so λth\lambda_{\text{th}} unchanged): S(λN,λV)=λNkB[ln⁡(λV/(λNλth3))+5/2]=λNkB[ln⁡(V/(Nλth3))+5/2]=λS(N,V)S(\lambda N,\lambda V)=\lambda Nk_B[\ln(\lambda V/(\lambda N\lambda_{\text{th}}^3))+5/2]=\lambda Nk_B[\ln(V/(N\lambda_{\text{th}}^3))+5/2]=\lambda S(N,V). The scale factor cancels inside the logarithm because VV and NN both scale — extensivity holds exactly. Why a constant cNc^N fails. Suppose instead you divided z1Nz_1^N by some cNc^N. Then F=−kBT[Nln⁡(V/λ3)−Nln⁡c]F=-k_BT[N\ln(V/\lambda^3)-N\ln c], and the entropy still contains a bare Nln⁡VN\ln V term (not Nln⁡(V/N)N\ln(V/N)). Rescaling gives a leftover λNkBln⁡λ\lambda N k_B\ln\lambda defect — the same superextensive term as with no factor at all. Only ln⁡N!∼Nln⁡N\ln N!\sim N\ln N, which supplies the missing −Nln⁡N-N\ln N, can convert ln⁡V\ln V into ln⁡(V/N)\ln(V/N).

Step 4. Without any factor, Suncorr=NkB[ln⁡(V/λ3)+3/2]S_{\text{uncorr}}=Nk_B[\ln(V/\lambda^3)+3/2], and Suncorr(λN,λV)−λSuncorr(N,V)=λNkBln⁡λS_{\text{uncorr}}(\lambda N,\lambda V)-\lambda S_{\text{uncorr}}(N,V)=\lambda Nk_B\ln\lambda. Doubling (λ=2\lambda=2) leaves a surplus of 2NkBln⁡22Nk_B\ln2 — the Gibbs defect, unbounded as the system grows. The extensivity identity S(λN,λV)=λS(N,V)S(\lambda N,\lambda V)=\lambda S(N,V) holds with the factor; without it the superextensive defect is λNkBln⁡λ\lambda Nk_B\ln\lambda (i.e. 2NkBln⁡22Nk_B\ln2 on doubling); and no constant 1/cN1/c^N prefactor can restore extensivity.

Go deeper · Derivation B · 1 minEmergence of 1/N! from quantum indistinguishability
Derivation BEmergence of 1/N! from quantum indistinguishability

The goal is to show that the phenomenological 1/N!1/N! is not an ad hoc fix but the exact classical (dilute, non-degenerate) limit of quantum statistics, where each single-particle state is almost never multiply occupied. The strategy is to write the canonical partition function as a sum over occupation numbers of single-particle levels, take the dilute limit where all occupancies are 00 or 11, and count how many labelled terms map to each unlabelled configuration.

Step 1. In quantum mechanics a many-body state is specified by the occupation numbers {nk}\{n_k\} of single-particle levels εk\varepsilon_k, with no particle labels at all: ZN=∑{nk}, ∑nk=N∏ke−βεknkZ_N=\sum_{\{n_k\},\,\sum n_k=N}\prod_k e^{-\beta\varepsilon_k n_k}. The (anti)symmetrization is entirely encoded in which {nk}\{n_k\} are allowed and in the absence of labels.

Step 2. In the dilute limit nλ3≪1n\lambda^3\ll1 the mean occupancy ⟨nk⟩≪1\langle n_k\rangle\ll1, so terms with any nk≥2n_k\ge2 are negligible and the Bose/Fermi distinction disappears — only nk∈{0,1}n_k\in\{0,1\} contribute.

Step 3. Compare to the labelled product (∑ke−βεk)N=z1N(\sum_k e^{-\beta\varepsilon_k})^N=z_1^N. Expanding it, each unlabelled configuration with all occupancies ≤1\le1 appears exactly N!/∏knk!=N!N!/\prod_k n_k!=N! times (since all nk!=1n_k!=1). Dividing by N!N! collapses these N!N! labelled permutations to the one physical configuration: ZN=z1N/N!Z_N=z_1^N/N!. Why the factorial and not something else. The overcount is N!/∏knk!N!/\prod_k n_k!; only in the dilute limit, where every nk!=1n_k!=1, does it reduce to a clean N!N! independent of the configuration. This is precisely why a single constant divisor works classically but fails near degeneracy, where doubly-occupied states (nk=2n_k=2, contributing nk!=2n_k!=2) make the overcount configuration-dependent.

Step 4. The same result follows from expanding the ideal-gas grand potential ln⁡Ξ=±∑kln⁡(1±e−β(εk−μ))\ln\Xi=\pm\sum_k\ln(1\pm e^{-\beta(\varepsilon_k-\mu)}) to first order in the fugacity z=eβμ≪1z=e^{\beta\mu}\ll1: the leading term reproduces z1N/N!z_1^N/N!, with the ±\pm (boson/fermion) corrections appearing only at the next order in zz. The dilute-limit overcount ratio (distinguishable assignments)/(indistinguishable) =N!=N!, as illustrated numerically for several (M,N)(M,N) pairs above; the reduction ZN→z1N/N!Z_N\to z_1^N/N! is the standard classical limit of quantum statistics.

Limiting cases

The 1/N!1/N! is a specific correction with a specific domain — get the domain wrong and you introduce new errors.

CasePrescriptionMeaning
Dilute classical gas, nλ3≪1n\lambda^3\ll1ZN=z1N/N!Z_N=z_1^N/N!The simple factorial is exact to leading order; gives Sackur-Tetrode.
Distinguishable particles (lattice sites)ZN=z1NZ_N=z_1^N (no 1/N!1/N!)Atoms pinned to distinct sites are labelled by position; permutations ARE distinct states.
Mixture of speciesZN=∏iz1,iNi/Ni!Z_N=\prod_i z_{1,i}^{N_i}/N_i!One factorial per species; mixing different gases gives a real ΔS=−kB∑iNiln⁡xi\Delta S=-k_B\sum_i N_i\ln x_i.
Quantum degenerate, nλ3≳1n\lambda^3\gtrsim1full Bose/Fermi statisticsMultiple occupancy matters; the constant 1/N!1/N! over- or under-counts.

Worked examples

Example 1 — Extensivity of the entropy, with and without the factor (enumerate, apply, boundary number). Take one mole of argon (N=NA=6.022×1023N=N_A=6.022\times10^{23}) at 298 K298\,\mathrm K, 1 atm1\,\mathrm{atm}, and ask what happens to the entropy when you place an identical mole beside it and remove the partition (doubling NN and VV at fixed density).

Step 1. Enumerate the two formulas. With the factor, S=NkB[ln⁡(V/(Nλ3))+5/2]S=Nk_B[\ln(V/(N\lambda^3))+5/2]; without it, Suncorr=NkB[ln⁡(V/λ3)+3/2]S_{\text{uncorr}}=Nk_B[\ln(V/\lambda^3)+3/2].

Step 2. Apply the doubling. With the factor, V/NV/N is unchanged, so S(2N,2V)=2NkB[ln⁡(V/(Nλ3))+5/2]=2S(N,V)S(2N,2V)=2Nk_B[\ln(V/(N\lambda^3))+5/2]=2S(N,V) — exactly additive. Without the factor, Suncorr(2N,2V)=2NkB[ln⁡(2V/λ3)+3/2]=2Suncorr(N,V)+2NkBln⁡2S_{\text{uncorr}}(2N,2V)=2Nk_B[\ln(2V/\lambda^3)+3/2]=2S_{\text{uncorr}}(N,V)+2Nk_B\ln2.

Step 3. Boundary number. The spurious surplus per mole is 2NAkBln⁡2=2Rln⁡2=2(8.314)(0.693)=11.5 J K−12N_Ak_B\ln2=2R\ln2=2(8.314)(0.693)=\mathbf{11.5\,J\,K^{-1}} — a large, unmistakable, and entirely unphysical entropy that appears from merely relabelling identical atoms. Correct Boltzmann counting removes it exactly. This 2Rln⁡22R\ln2 is the Gibbs paradox in a single number.

Example 2 — The overcount factor for a small system (an actual integer). Consider 33 identical particles distributed one each among 100100 available single-particle states (dilute, so no double occupancy).

Step 1. Count the labelled arrangements: particle 1 has 100100 choices, particle 2 has 9999, particle 3 has 9898, giving 100×99×98=970200100\times99\times98=970200 labelled assignments.

Step 2. Count the physically distinct configurations: choosing which 33 of the 100100 states are occupied, (1003)=161700\binom{100}{3}=161700.

Step 3. Boundary number. The ratio is 970200/161700=6=3!970200/161700=\mathbf{6}=3! — exactly the number of permutations of 33 particles. The labelled count overcounts by N!=6N!=6, and dividing by 3!3! recovers the correct number of microstates. This is the combinatorial heart of the 1/N!1/N!, verified here for a concrete case.

Origins · 1 minindistinguishable particles and how this was discovered
IP
indistinguishable particles
statistical-mechanics concept · Gibbs 1902, quantum justification 1920s

Correct Boltzmann counting is the prescription ZN=z1N/N!Z_N=z_1^N/N! for indistinguishable particles. Despite the name, the 1/N!1/N! was introduced not by Boltzmann but by Josiah Willard Gibbs in his 1902 Elementary Principles in Statistical Mechanics, on the thermodynamic grounds that entropy must be extensive and that mixing identical gases must produce no entropy change. Gibbs recognized the paradox that now bears his name and prescribed the factorial as its cure, purely phenomenologically — quantum mechanics did not yet exist. The deeper justification came only in the 1920s, when the classical (dilute) limit of the newly-formulated Bose-Einstein and Fermi-Dirac statistics was shown to reproduce exactly z1N/N!z_1^N/N!. The factor is thus a piece of quantum indistinguishability that Gibbs, remarkably, deduced from thermodynamic consistency a generation early.

History
1875
— Gibbs identifies the mixing paradox for identical gases.
1902
— Gibbs prescribes division by N! in Elementary Principles in Statistical Mechanics.
1911
— Sackur, and 1912 Tetrode, obtain the absolute entropy of a monatomic gas using the factor.
1924
— Bose and Einstein formulate the statistics whose dilute limit yields 1/N!.
1926
— Fermi and Dirac give the antisymmetric statistics, whose classical limit also reproduces 1/N!.

Going further

References. Pathria & Beale, Statistical Mechanics, 3rd ed., §1.5–1.6, §3.5 · Kardar, Statistical Physics of Particles, Ch. 4 · Reif, Fundamentals of Statistical and Thermal Physics, §7.3 · Sethna, Statistical Mechanics: Entropy, Order Parameters, and Complexity, §3.5, §7.3 · Landau & Lifshitz, Statistical Physics Part 1, §31, §41. Key numerical benchmarks: (i) F=−NkBT[ln⁡(V/(Nλ3))+1]F=-Nk_BT[\ln(V/(N\lambda^3))+1] is extensive after Stirling; (ii) S(λN,λV)=λS(N,V)S(\lambda N,\lambda V)=\lambda S(N,V) with the factor, and the superextensive defect λNkBln⁡λ\lambda Nk_B\ln\lambda (i.e. 2NkBln⁡22Nk_B\ln2 on doubling) without it; (iii) no constant cNc^N prefactor restores extensivity; (iv) the dilute-limit overcount ratio equals N!N!; (v) argon's molar entropy ≈154.8 J mol−1K−1\approx154.8\,\mathrm{J\,mol^{-1}K^{-1}} at 298 K298\,\mathrm K, 1 atm1\,\mathrm{atm}. Constants used throughout: h=6.62607×10−34 J sh=6.62607\times10^{-34}\,\mathrm{J\,s}, kB=1.380649×10−23 J/Kk_B=1.380649\times10^{-23}\,\mathrm{J/K}, R=8.314 J mol−1K−1R=8.314\,\mathrm{J\,mol^{-1}K^{-1}}.

Builds on: Classical Ideal Gas · Thermal de Broglie Wavelength · Gibbs Paradox Leads to: Sackur-Tetrode Equation · Classical Limit of Quantum Statistics · Classical Ideal Gas

Why is it called "Boltzmann" counting if Gibbs introduced the factor?

The name is a historical accident. The method of counting microstates by distributing particles among energy cells goes back to Boltzmann's combinatorial derivation of the distribution law, so "Boltzmann counting" refers to that general procedure. The specific 1/N!1/N! correction that makes it correct for identical particles was Gibbs's contribution in 1902, addressing the paradox that also bears his name. So "correct Boltzmann counting" means "Boltzmann's counting method, with Gibbs's factorial fix." Neither man had quantum mechanics; the deeper justification of the factor as the classical limit of indistinguishable-particle statistics came two decades later.

How exactly does dividing by N! fix the Gibbs paradox?

The paradox is that the uncorrected entropy predicts ΔS>0\Delta S>0 when you remove a partition between two halves of the same gas at equal density — physically absurd, since nothing observable changes. The uncorrected entropy is NkB[ln⁡(V/λ3)+3/2]Nk_B[\ln(V/\lambda^3)+3/2], which depends on ln⁡V\ln V separately from NN; combining two subsystems then produces a spurious ln⁡\ln-of-volume gain. Dividing by N!N! turns ln⁡V\ln V into ln⁡(V/N)\ln(V/N), so the entropy depends only on the intensive density N/VN/V. When you merge two identical gases at the same density, V/NV/N is unchanged, so the total entropy is exactly the sum of the parts and ΔS=0\Delta S=0. For genuinely different gases, the real entropy of mixing −kB∑iNiln⁡xi-k_B\sum_i N_i\ln x_i survives, as it should.

Is the 1/N! an approximation, or is it exact?

It is exact in the dilute, non-degenerate regime nλ3≪1n\lambda^3\ll1, and an approximation (indeed a failure) near quantum degeneracy. In the dilute limit essentially every single-particle state has occupancy 00 or 11, so every physical configuration is overcounted by precisely N!N! in the labelled sum, and the constant divisor is exact to leading order. When nλ3n\lambda^3 approaches 11, states begin to be multiply occupied; the overcount then becomes configuration-dependent (N!/∏knk!N!/\prod_k n_k!), and a single constant N!N! no longer captures it. There you must abandon correct Boltzmann counting and use the full Bose-Einstein or Fermi-Dirac statistics, which count indistinguishable states correctly at any occupancy.

Why don't we divide by N! for a crystal of N atoms on lattice sites?

Because those atoms are distinguishable — each is permanently labelled by the lattice site it occupies. You can point to "the atom at site (3,5,2)" unambiguously, and swapping two atoms between sites produces a genuinely different microstate. There is no permutation overcounting to remove, so ZN=z1NZ_N=z_1^N with no factorial. In fact, dividing a lattice solid's partition function by N!N! would break its extensivity rather than restore it. The 1/N!1/N! applies only to particles free to exchange positions, like the molecules of a gas or liquid, where you cannot say which molecule is which.

Where does the extra "1" in the Sackur-Tetrode 5/2 come from?

The 5/25/2 decomposes as 3/2+13/2+1. The 3/23/2 is the energy contribution: differentiating the free energy with respect to temperature picks up 32NkB\tfrac32 Nk_B from the T3/2T^{3/2} dependence of λ−3\lambda^{-3} (equivalently, U=32NkBTU=\tfrac32 Nk_BT gives 32NkB\tfrac32 Nk_B in the entropy). The extra +1+1 comes directly from the counting factor: Stirling's ln⁡N!≈Nln⁡N−N\ln N!\approx N\ln N-N contributes a +N+N term that, after differentiation and per-particle bookkeeping, adds 11 to the bracket. So the famous 5/25/2 is a fingerprint of correct Boltzmann counting — without the 1/N!1/N! you would get an entropy with 3/23/2 (and a non-extensive ln⁡V\ln V instead of ln⁡(V/N)\ln(V/N)).

Does the h^{3N} play the same role as the 1/N!?

They are companion quantum remnants that fix different things. The 1/h3N1/h^{3N} sets the absolute size of a phase-space cell: the classical integral ∫d3Nq d3Np\int d^{3N}q\,d^{3N}p has units of (action)3N^{3N}, and dividing by h3Nh^{3N} makes ZNZ_N dimensionless and fixes the zero of entropy. The 1/N!1/N! fixes the permutation overcount from indistinguishability. Neither can be justified within purely classical mechanics; both emerge together when you take the classical limit of the quantum partition function. Only with both factors does the classical ZNZ_N reproduce the correct, extensive, absolute thermodynamics — and match experiment, as the Sackur-Tetrode entropy shows.

Before this

Where this leads