A Hard Energy Use Limit of Artificial Superintelligence