Consistency of mean wind speed in pedestrian wind environment analyses: Mathematical consideration and a case study using large-eddy simulation