프로트 소수

프로트 소수 (Proth Prime) 의 정의는 다음과 같습니다.

프로트 수 $P$ 에 대하여, $P$가 소수 이면 프로트 소수라고 한다.

즉, 프로트 수 중에서도 소수인 수를 프로트 소수라고 합니다.
프로트 소수를 판정하는 프로트의 정리 도 존재합니다.
프로트 소수가 무한한지는 알려지지 않았고, 역수의 합이 $0.747392479...$ 정도인 것은 알려져 있습니다. 그냥 프로트 수의 역수의 합은 약 $1.093322456...$ 정도입니다.