Bevis for formlen for fordoblingskonstant