  Headrick and Takayanagi showed that the Ryu-Takayanagi holographic
entanglement entropy formula generally obeys the strong subadditivity (SSA)
inequality, a fundamental property of entropy. However, the Ryu-Takayanagi
formula only applies when the bulk spacetime is static. It is not known whether
the covariant generalization proposed by Hubeny, Rangamani, and Takayanagi
(HRT) also obeys SSA. We investigate this question in three-dimensional
AdS-Vaidya spacetimes, finding that SSA is obeyed as long as the bulk spacetime
satisfies the null energy condition. This provides strong support for the
validity of the HRT formula.
