Description: Lemma for log2ub . In decimal, this is a proof that the first four terms of the series for log 2 is less than 5 3 0 5 6 / 7 6 5 4 5 . (Contributed by Mario Carneiro, 17-Apr-2015) (Proof shortened by AV, 15-Sep-2021)
Ref | Expression | ||
---|---|---|---|
Assertion | log2ublem3 |