On the optimality of the ideal right-angled 24-cell - Alexander Kolpakov (2012)