== Liouville proof ==  

 The short proof of Liouville's theorem mentioned here, as much as I love it, doesn't apply to the version of Liouville's theorem this article is using. The proof is for f bounded, whereas the theorem only assumes f bounded below (or above).