# Confirmation of the Daykin-Frankl Conjecture

Preprint · Kada Williams

- Archive id: arxiv:2609.03087
- Published: 2026-09-02
- arXiv: https://arxiv.org/abs/2609.03087
- Source URL: https://arxiv.org/abs/2609.03087
- PDF: https://arxiv.org/pdf/2609.03087
- Provenance: arxiv

## Abstract

In 1983, Daykin and Frankl conjectured that if $P$ is a convex subset of $Q\_n$, then it contains at least $\|P\|\\binom{n}{\\lfloor n/2\\rfloor}2^{-n}$ pairwise incomparable elements. We verify and communicate an LLM-generated proof of this conjecture.

_Abstract reproduced under CC0-1.0 (arXiv descriptive metadata)._

---
Space Kitty Archive · https://space-kitty.com · API: https://space-kitty.com/api/v1 · MCP: https://space-kitty.com/mcp · Premium: $0.20/request via x402 (Base Sepolia (testnet)). Metadata: arXiv (CC0), OpenAlex (CC0), Europe PMC (CC BY/CC0 works), ClinicalTrials.gov.