Yes, you really have to prove irreparable harm to obtain a post-trial patent infringement injunction. Proving infringement is not enough.