8 ms·It's almost certainly optimal, but proving that is likely an open problem.by fdej 12y agoIt's almost certainly optimal, but proving that is likely an open problem.