Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.1 6/24/83; site natmlab.OZ
Path: utzoo!linus!decvax!mulga!munnari!natmlab!rolf
From: rolf@natmlab.OZ (Rolf Turner)
Newsgroups: net.math
Subject: Re: Floor Log Problem
Message-ID: <65@natmlab.OZ>
Date: Wed, 7-Nov-84 19:31:49 EST
Article-I.D.: natmlab.65
Posted: Wed Nov  7 19:31:49 1984
Date-Received: Thu, 8-Nov-84 02:45:01 EST
References: <1200@eosp1.UUCP>
Organization: CSIRO Nat. Measurement Lab. (Maths+Stats & Applied Phys), Sydney,Australia.
Lines: 8


2**k <= n <  2**(k+1) ==> |_lg n_| = k

Thus |_lg n_| = k = |_lg(n+1)_| unless n = 2**(k+1) - 1
in which case |_lg n_| = k and |_lg(n+1)_| = lg(n+1) = k+1.

In the first instance both sides of the putative equation are 0;
in the second case both sides are n+1.	#