Triple

T27562871
Position Surface form Disambiguated ID Type / Status
Subject Legendre’s formula for valuations of factorials E695819 entity
Predicate statement P4223 FINISHED
Object For a prime p and integer n ≥ 1, the exponent v_p(n!) of p in n! is given by v_p(n!) = ∑_{k=1}^{∞} ⌊n/p^k⌋. LITERAL FINISHED

Provenance (2 batches)

Stage Batch ID Job type Status
creating batch_69ef53891af88190a193c5e2a1dac9b1 elicitation completed
NER batch_69f62fbbc4408190b9afd456a429f61b ner completed
Created at: April 27, 2026, 1:40 p.m.