Proton’s radius 4% smaller than previously thought