Historical Effective Population Size Equation