3 ms·

So then: is there any better solution? Or is that the optimal?

• fdej 12y ago
  It's almost certainly optimal, but proving that is likely an open problem.