Free public beta until December 4, 2026: every course is open, no card needed. After that, the first chapter of each course stays free and full access is a one-time $39 ($19 for up to 100 founding members chosen for helpful feedback). Your progress is kept. How the beta works

existence proof

A proof establishing $\exists x, P(x)$ -- constructively (naming a witness) or nonconstructively.

An existence proof establishes $\exists x, P(x)$ , either by exhibiting a witness (constructive) or by indirect argument (nonconstructive).