ざっくり言うと3つの比を大小順に並べると、最大の比を 5 の立方根と比較すればよい。小さな整数 a=2,3,4 だけを直接調べれば(それより大きい値は上界が縮小する議論で排除される)、すぐに値が確定する。
一般性を失うことなく a/x≥b/y≥c/z と仮定する。このとき a/x≥35 である。もし a≥4 なら x≥3 であり、a/x<32(1+1/3)=32⋅34<35 となる(2⋅43<5⋅33 による)。これは矛盾なので、a∈{2,3} である。a=3 のときは x=2 で、a/x=3/2<35 となり、やはり矛盾する。したがって a=2、x=1、a/x=2 である。