It is shown that every finite lower semimodular lattice L with |L|≥2 contains a join-irreducible element x such that at most |L|/2 elements y∈L satisfy y≥x.
['Jürgen Reinhold']
Frankl's Conjecture Is True for Lower Semimodular Lattices