Problem

erdos:398

sorry ↔ {n | ∃ m, n.factorial + 1 = m ^ 2} = {4, 5, 7}

Open Current State

Declared status: falsifiable
Formalization: formalized
Subjects: number theoryfactorials
OEIS: A146968 · A141399
Sources: source:erdos-problemssource:formal-conjectures
Statement: www.erdosproblems.com

Brocard-Ramanujan conjecture

Matching claims

0

No direct claims

This problem has no directly related claim record.

Browse this Repository’s Claims