Let $\mathbb K=\mathbb R$ or $\mathbb K=\mathbb C$ and $E$ be a normed $\mathbb K$-vector space.
Can we show that there is a linear isometry from $E$ into $E'$ or is there a counterexample?
I think this should be true: My idea is that we should be able to consider the linear isometry $\iota_1$ from $E$ into its completion $\tilde E$ and the linear isometry $\iota_2$ from $\tilde E$ into its dual $\tilde E'$ ...
Pitt's theorem asserts that every bounded linear operator from $\ell_p$ into $\ell_q$ is compact whenever $1 ≤ q<p< ∞$. Thus the answer is also negative for $\ell_p$, for every finite $p>2$.