Discontinuous linear functional

Summary