Generalized Schatunowsky theorem in a weak arithmetic

Hala King, Victor Pambuccian

Schatunowsky's 1893 theorem, that 30 is the largest number all of whose totatives are primes, has been recently generalized by Kaneko and Nakai. In its generalized form, it states…