On Erlang's Formula