Факториал (инг. фаcтор — кўпайтувчи) — факториал, Математикада берилган мусбат сондан кичик ёки унга тенг барча мусбат сонларнинг кўпайтмаси ва шу бутун сон ва ундов белгиси билан белгиланади. Шундай қилиб, етти факториал 7! ёзилади, яъни 7! = 1 × 2 × 3 × 4 × 5 × 6 × 7. Қулайлик учун 0!=1 деб олинади. Ф!, айниқса, комбинаторикада кўп учрайди. Инглиз математик Ж. Стирлинг 1730-йили н! функсиянинг қийматини тақрибий ҳисоблаш учун жуда қулай формулани таклиф қилган (Стирлинг формуласи[1]):

н! = н * (н-1) * (н-2) * … * 3 * 2 * 1;

Факториалнинг бошқа турлари

Шунингдек, факториал н!!, н!!!, … шаклида ҳам бўлиши мумкин. Умумий факториал қоидасига кўра н!! = н * (н — 2) * (н — 4) * … (н > 0 гача)

Масалан: 4!! = 4 * 2, 5!! = 5 * 3 * 1;

н!!! = н * (н — факториаллар_сони) * (н — 2*факториаллар_сони) *… = н * (н — 3) * (н — 6) * … (н > 0 гача)

Шунингдек факториалнинг супер факториал[2], суб факториал[3] ва кўплаб турлари мавжуд