Long paths in directed graphs.

Using a lollipop argument, it is not hard to prove 3d/2 instead of 2d.