Prove Undecidability Without Using Rice's Theorem
So the question is, for a particular constant $k$, is there a TM which decides on input $\langle M_i \rangle$ whether there exists a string $w$ with $|w|\geq k$ such that $M_i$ halts on input $w$? Your reduction is almost correct, let me show you: Suppose that this problem is decidable, then the acceptance problem is decidable.

If the problem is decidable, then if you wanted to know whether TM $A$ accepts $w$, you could build a machine that accepts $1^kw$ only if $A$ accepts $w$, and accepts no other string, and then you would ask your question about that Turing Machine. Let me say this with more detail.

Let $BT$ (for Banach Tarski) be the Turing Machine that decides the problem you describe, and suppose we want to know whether some TM $A$ halts on input $w$ with $|w|&lt;k$. Then we construct a TM $H_{A,w}$ as follows: $H_{A,w}$ checks whether the input is $1^kw$, i.e. $w$ padded at the beginning with $k$ ones (so $w$ is "hard-coded" into this machine). If not, it stops. If the input is $1^kw$, then it moves to the first symbol of $w$ and simulates $A$. Does $H_{A,w}$ accept any input longer than $k$? If so, then it accepts $1^kw$, because that is the only string it could possibly accept. If it accepts $1^kw$, then $A$ accepts $w$, because we were simulating $A$ on $w$. If it accepts $1^kw$, then you could ask $BT$ the question you describe about $H_{a,w}$, i.e. run $BT$ with input $H_{A,w}$. If it returns yes, then $A$ accepts $w$. If not, not.

We have now provided a reduction from the Acceptance Problem to your problem. But we know that the Acceptance Problem is undecidable! So it cannot be that your problem is decidable, because then the Acceptance Problem would be decidable. $\square$