Yep - someone posted an original proof of the lower bound for the Haruhi problem http://mathsci.wikia.com/wiki/The_Haruhi_Problem