I explained upthread that the math is incoherent and there is no bound with profitable proof of work either due to k. I will formalize the argument in a white paper, not now.
There is, but not in a chain with blocks. You need one transaction per block for this.
edit: if you have blocks, you have to make assumptions about k in order to bound the acceptability.