Why is {w | no prefix of w starts with b} = {w | the first character of w is a} ∪ {e}?
The unique prefix of the empty word $e$ is $e$, and it does not start with $b$. Therefore $e$ satisfies the condition "no prefix of $e$ starts with $b$" and hence $e$ belongs to $L$.