P
Initializing...
The lcm of the first m numbers is at least 2^m (Lemma 3.1) · Prove2Me