@misc{indiciaedacd0c8e8097,
  title = {Formal proof of some inequalities used in the analysis of the post-post-Newtonian light propagation theory},
  author = {Sven Zschocke and Sergei A. Klioner},
  year = {2009},
  url = {https://arxiv.org/abs/0907.4281},
  note = {Source identifier: 0907.4281}
}