There is not really a strong need to go into why inefficiencies can persist, etc, because at a baseline, it turns out there is no provable theory that markets should be efficient at all.
Instead, we have the sort of equivalent of Galileo - people really badly want markets to be efficient. They feel like they should be, because intuitively, it seems like it should work that way (much in the "god does not play dice" sense). People who suggest they aren't, even when math backs them up, are ridiculed. Eventually, as Max Planck said, science will advance funeral by funeral, and we'll stop pretending markets should be efficient based on "the efficient market hypothesis". Or we'll discover P=NP! Which would be much cooler.