A sharp quantitative version of Hales' isoperimetric honeycomb theorem | Arena Library | Arena