geometric distribution variance proof