In this note we prove that every 2-connected graph of order n with no
repeated cycle lengths has at most n + root 2(n - 2) - 1 edges and we
show this result is best possible with the correct order of magnitude
on root n. The 2-connected case is also used to give a quick proof of
Lai's result on the general case. (C) 1998 John Wiley & Sons, Inc.