The self-avoiding walk on the simple cubic lattice in four dimensions is conjectured to have an end-to-end distance that grows proportionally to √ N ln1/8 N, where N is the number of steps in the walk. I will review a program for proving this and describe what has been accomplished so far.