16 Apr
1991
16 Apr
'91
3:43 a.m.
Thanks! Two different people misconstrued my question as asking if m < k is 2^m <= 2^k. You actually answered an even more exigent question since I asked only that m < k imply 2^m <= k, but your answer is even better, since the strict inequality is preserved. You can't make beth in tex, can you? Not without Hebrew fonts. Anyway, thanks again. Michael +++++++++++++++++++++++++++++++++++++++++