Für k = 3 ergibt sich
666^2 < 444441
Für ein beliebiges k ergibt sich
4/9·(10^(2·k) - 2·10^k + 1) < 4/9·(10^(2·k) - 10)
Ich denke, dass wäre für k ≥ 1 recht leicht zu zeigen.
Dabei habe ich jetzt verwendet, dass eine Zahl aus k Einsen geschrieben werden kann als 1/9·(10^k - 1). Das kann man aber auch noch herleiten, wenn man möchte.
Dann müsste man natürlich noch den rechten Teil der Ungleichung zeigen. Das würde ich ähnlich machen bzw. mit der binomischen Formel hantieren.