Tt,mTt,e=(EmEe)1/4(MmMe)−1/6
with Tt,e=34K and TCO2(gas|p=0.1atm)>180K
For Mm=Me and Tt,m=180K we get Ecrit≥780E⊕
Assuming E∝M, then Mcrit≥5×108M⊕
Ecrit=5×1030erg/s≫E⊕=4×1020erg/s