Solution

ID: past-exam-of-the-analysis-course-of-the-university-of-oxford/2009/a/1/ii/solution

Map each bounded sequence to the continuous function that takes value at the integer and is affine on every interval . Convexity of absolute value gives , and evaluation at integers gives equality of suprema. Thus is an isometric embedding of the l-infinity sequence space into .
The former is not separable by the allowed fact. If the latter were separable, the subspace result just proved would make its isometric copy of separable, a contradiction. Hence

New to topics? Read the docs here!