3 ms·

There aren't really any complicated arguments being made, so I don't think a proof would be that involved.