The cardinal number equal to 4 + 1.