a*b=8を満たすa,b(>0)の組み合わせを考える。
1と8もあるし、2と4もある。3と8/3もあるし、16と1/2もあるし、√8と√8もある。
もっといっぱい、無限にあるだろう。
これらすべてのうち、足すとどうなるか？
1と8は9,2と4は6、16と1/2は33/2、3と8/3は5.6666666666・・・・、√8と√8は5.656854・・・

つまり両方が同じになる場合が最小である(もちろんここでは4つの場合しか示してないが、ちゃんと示す必要がある)
>.11の文だと
-2と-4など、負の数も含まれるので成り立たなくなる。
二つの正の整数もしくは自然数などと書き直すべきだな