e/Proof of weak Scholz conjecture

Information
has gloss	eng: In mathematics, a weaker version of the Scholz conjecture about addition chains can be proven without advanced number theory. In fact, proving the inequality :l(2n − 1) ≤ 2n − 2
lexicalization	eng: Proof of weak Scholz conjecture
instance of	c/Article proofs