The celebrated semidefinite programming algorithm for MAX CUT introduced by
Goemans and Williamson was known to have a performance ratio of at least
[GRAPHICS]
(0: 87856 < < 0: 87857); the exact performance ratio was unknown. We prove
that the performance ratio of their algorithm is exactly. Furthermore, we s
how that it is impossible to add valid linear constraints to improve the pe
rformance ratio.