PX284 - F1 - isolated system or microcanonical ensemble

S=−kB∑iPiln⁡PiU=∑iEiPi

thermodynamics

dS≥0

where, the equality is for reversible changes

statistical mechanics

S=−kB∑iPiln⁡Pi=−kB[P1ln⁡P1+P2ln⁡P2]dSdP1=−kB[ln⁡P1+1+dP2dP1(ln⁡P1+1)]=0

at maximum (equilibrium)