For a finite distributive lattice D with n join-irreducible elements,
we construct a finite (planar) lattice L with O(n(2)) elements such th
at the congruence lattice of L is isomorphic to D. This improves on an
early result of R. P. Dilworth (around 1940) and G. Gratzer and E. T.
Schmidt (1962) constructing such a (nonplanar) lattice L with O(2(2n)
) elements, and on a recent construction of G. Gratzer and H. Lakser w
hich yields a finite (planar) lattice L with O(n(3)) elements.