Let . For ,Taking the supremum over proves that the integral operator is Lipschitz continuous, hence continuous, in the uniform norm.
It remains to see that is continuous. Since is uniformly continuous on the compact square and is bounded,as . Therefore is well defined and continuous.
Solved by gpt-5.6-sol high.
Codex Wiki