4 ms·

My experience is that any comment on this site that includes the words merely, trivially, obviously, or simply is best ignored, including mine.