Re: [math-fun] Weird leap-year rule

Gareth McCaughan <gareth.mccaughan@pobox.com> wrote:

Surely that proves only that there are *some* N such that the average over the first N years is log 2.

I don't understand what you mean. Since every year's length is a whole number of days, the average length of years 1 through N will always be a rational number, hence will never be the natural log of 2. (Though it will get closer and closer as N grows larger.)