Reinhardt conjecture
Redirect to:
Smoothed octagon