Thrackleation of graphs and global optimization for quadratically constrained quadratic programming are used to find the octagon with unit diameter and largest area. This proves the first open case of a conjecture of Graham (1975).