仮定より
 神戸≧阪市 @
 神戸≧阪府 A
式@、Aより
 神戸≧(阪市+阪府)/2
ここで
 阪公=(阪市+阪府)/2
よって
 神戸≧阪公