P
Initializing...
$H(2^k)>k$ for $k\ge3$ (Erdős 624) · Prove2Me