Proving Free Energy Is Possible - Eric P. Dollard Lecture-