The charged Penrose inequality adds electric and magnetic charge to a mass-area bound for initial data. With total charge 
and enclosing-area radius 
, an upper-radius formulation is
 |
where 
is invariant ADM mass and 
is also required. When 
this is equivalent to
 |
For 
,
the upper-radius bound follows from 
, and does not imply this stronger polynomial bound.
