Holstein Effective Population Size Definition