Let's call the starting bankroll S and the current bankroll C.
Forget about blackjack, suppose you play with biased coin which has 51% for heads and 49% for tails. So, you keep betting on heads and your edge is 2%.
Kelly says that you should always bet 2% of your current bankroll. The fraction f of the current bankroll to bet, is constant, and it is f=0.02*C
Now how about all the possible formulas that suggest to bet e.g:
f=0.02*C when C=S,
f<0.02*C when C<S,
f>0.02*C when C>S.
Or more generally, where X any given number,
f=0.02*C when C=X*S,
f<0.02*C when C<X*S,
f>0.02*C when C>X*S.
Note that this set of all the possible such formulas, includes the formulas which suggest only minor increases of f as C increases, e.g. that you should raise to f=0.04 only when C=1,000,000,000,000 * S
The proof of kelly criterion, cannot proove that none of all these possible formulas is more maximising than always betting Kelly = f = 0.02*C.
Because that proof, is only the mathematical answer to the question:"SUPPOSING that you keep betting a CONSTANT fraction of your current bankroll, then what is the fraction among all possible fractions that maximises the growth of your bankroll?"
The proof of kelly criterion is quite simple: If you bet ANY constant fraction of your bankroll, then after W+L tosses, and if you have the average luck (and you WILL have approximately the average luck after too many tosses), then your current bankroll C will be:
C=((1+f)^W)((1-f)^L)S
(also see the relevant previous post of mine where I explain this equation)
So we shape the graph of the above function, where at the axis of Y we put the values for C, and at the axis of X we put the values for f. And we see that the curve which is shaped at this graph, gets its highest for the value of f which is equal to your edge.
Do you get it now? This proof says that IF you decide to bet a CONSTANT fraction of your current bankroll, then the growth of the current bankroll is maximised for f=edge. Therefore it has nothing to say mathematically for all other betting systems that do not suggest to bet a constant f. If it HAS something to say, then this needs additional mathematical proof.