Man pages matching name erdos in section 1: