J. Holmgren

The first superlinear lower bound for OR and, more generally, for every non-periodic symmetric function is proved and a sharp $\Omega(n\log n)$ lower bound for OR is proved, matching the classic construction of Feige, Kilian, and Naor.