P
Initializing...
L = LP n is the least L with 4n ≤ 2^L b · Prove2Me