The Largest Small Octagon

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 R. L. Graham (J. Combin. Theory Ser. A18 (1975), 165?170).