Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.1 6/24/83; site eosp1.UUCP
Path: utzoo!watmath!clyde!burl!ulysses!princeton!eosp1!pries
From: pries@eosp1.UUCP (Jerri Pries)
Newsgroups: net.math
Subject: Floor Log Problem
Message-ID: <1200@eosp1.UUCP>
Date: Thu, 25-Oct-84 15:26:27 EDT
Article-I.D.: eosp1.1200
Posted: Thu Oct 25 15:26:27 1984
Date-Received: Fri, 26-Oct-84 09:05:13 EDT
Organization: Exxon Office Systems, Princeton, NJ
Lines: 13


	I'm sure that there is an obvious method for proving
	this equality but I can't find it.


	 |_lg(n+1)_|+1   |_lg(n)_|+1
	2             - 2         = (n+1)(|_lg(n+1)_|-|_lg(n)_|)

	where
		|_lg X_| 

	is the floor of the log base 2 of X.
	Any help would be appreciated.