A Lower Bound on the Optimum Distance Profiles of the Second-Order Reed–Muller Codes | IEEE Journals & Magazine | IEEE Xplore