The initial proofs of the inequality in the pivotal cases n = 12 {\displaystyle n=12} (Godunova and Levin, 1976) and n = 23 {\displaystyle n=23} (Troesch, 1989) rely on numerical computations.
Початкові доведення нерівності в основних випадках n = 12 {\displaystyle n=12} (Годунова та Левін, 1976) та n = 23 {\displaystyle n=23} (Troesch, 1989) покладаються на чисельні розрахунки.