8 ms·

Approximating almost up-to, is not rigorous proof in math, but looking forward to positive conjectures.