PX284 - F1 - isolated system or microcanonical ensemble

S=kBiPilnPiU=iEiPi

thermodynamics

dS0

where, the equality is for reversible changes

statistical mechanics

S=kBiPilnPi=kB[P1lnP1+P2lnP2]dSdP1=kB[lnP1+1+dP2dP1(lnP1+1)]=0

at maximum (equilibrium)