P
Initializing...
$L(4) = 16$ for the number $L(n)$ of Eliahou and Revuelta · Prove2Me