Prove that the Kolmogorov complexity function cannot be approached from below
We can computably approach $K(x)$ from above by trying all programs. Since $K(x)$ is not computable, we cannot computably approach it from below &mdash; otherwise it would have been computable.