Block-count arithmetic: $2^k<2k\lfloor(2^k-k+1)/(k-3)\rfloor$ for $k\ge4$ (Erdős 624 cross-review)

Initializing...

Block-count arithmetic: $2^k<2k\lfloor(2^k-k+1)/(k-3)\rfloor$ for $k\ge4$ (Erdős 624 cross-review) · Prove2Me