As has been said, thousands of Forest fans ran onto the pitch but there was only this one serious incident. Just to give this "fan" a lifetime ban would be a nonsense. If he had done that to anyone in the street outside he would be charged with assault and taken to court - inside a football ground should make no difference.