Return-path: <apache@lojban.org>
Envelope-to: jbovlaste-admin@lojban.org
Delivery-date: Mon, 11 Aug 2025 15:07:45 -0700
Received: from [192.168.123.254] (port=55360 helo=web.lojban.org)
	by 984e910ebd8f with smtp (Exim 4.96)
	(envelope-from <apache@lojban.org>)
	id 1ulagB-000pce-1W
	for jbovlaste-admin@lojban.org;
	Mon, 11 Aug 2025 15:07:45 -0700
Received: by web.lojban.org (sSMTP sendmail emulation); Mon, 11 Aug 2025 22:07:43 +0000
From: "Apache" <apache@lojban.org>
To: curtis289@att.net
Reply-To: webmaster@lojban.org
Subject: [jvsw] Definition Edited At Word ni'e'ei -- By merrybot
Date: Mon, 11 Aug 2025 22:07:43 +0000
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Message-Id: <E1ulagB-000pce-1W@984e910ebd8f>
X-Spam-Score: 0.0 (/)
X-Spam_score: 0.0
X-Spam_score_int: 0
X-Spam_bar: /



In jbovlaste, the user merrybot has edited a
definition of "ni'e'ei" in the language "English".

Differences:

2,2c2,2
< 		digit/number: Niven's greatest-exponent prime factorization constant  $\lim_{n\to\infty})\operatorname{avg}_n(H) ≈ 1.705211…$
---
> 		digit/number: Niven's greatest-exponent prime factorization constant  $\lim_{n\to\infty}\mathrm{avg}_n(H) ≈ 1.705211…$


Old Data:

	Definition:
		digit/number: Niven's greatest-exponent prime factorization constant  $\lim_{n\to\infty})\operatorname{avg}_n(H) ≈ 1.705211…$

	Notes:
		This constant is the greatest exponent appearing in the prime factorization of a positive natural number over the ring integers on average. See also: {ni'e'oi}

	Jargon:
		

	Gloss Keywords:

	Place Keywords:



New Data:

	Definition:
		digit/number: Niven's greatest-exponent prime factorization constant  $\lim_{n\to\infty}\mathrm{avg}_n(H) ≈ 1.705211…$

	Notes:
		This constant is the greatest exponent appearing in the prime factorization of a positive natural number over the ring integers on average. See also: {ni'e'oi}

	Jargon:
		

	Gloss Keywords:

	Place Keywords:




You can go to <http://jbovlaste.lojban.org/dict/ni'e'ei> to see it.