Ceva's triangle inequalities - Bényi, Árpád (Array, 2014)