x=A−30度、y=B−30度、z=C−30度と置けば和は90度。sin x sin y≤(1−cos(x+y))/2=(1−sin z)/2なので、積は(1−sin z)sin z/2以下、さらに1/8以下である。先の厳密不等式に矛盾し、alpha,beta,gammaの少なくとも1つは30度以下。