入力されたワードを説明してください。
ミルズの定数
数論におけるミルズの定数（）とは、任意の自然数 に対して
がすべて素数となる最小の正実数 のことを言う。1947年に名前の由来である William Harold Mills により、素数の間隔に関する および Albert Ingham らの成果を用いてその存在が証明された。値は証明されていないものの、リーマン予想を真と仮定した場合
となることが知られている。