  In AdS/CFT, the holographic Weyl anomaly computation relates the a-anomaly
coefficient to the properties of the bulk action at the UV fixed point. This
universal behavior suggests the possibility of a holographic c-theorem for the
a-anomaly under flows to the IR. We prove such a c-theorem for higher curvature
Lovelock gravity, where the bulk equations of motion remain second order. We
also explore f(R) gravity as a toy model where higher derivatives cannot be
avoided. In this case, monoticity of the flow requires an additional condition
related to the higher derivative nature of the theory. This is in contrast to
the case of f(R) black hole entropy, where the second law follows from
application of the full Einstein equations and the null energy condition.
