Mh,
ich würde vielleicht so daran gehen:
k = a * b => (a ≤ √k) V (b ≤ √k)
<=>
¬ [ (a ≤ √k) V (b ≤ √k) ] => ¬ (k = a * b)
(a > √k ∧ b > √k) => k ≠ a * b
a = √k + x, x > 0
b = √k + y, y > 0
Dann ist
a * b = (√k + x) * (√k + y) = k + √k * y + √k * x + xy = k + (x + y) * √k + xy ≠ k
weil k > 0, x > 0, y > 0
Ich hoffe, meine wirren Gedankengänge sind nachvollziehbar :-)
Besten Gruß