Positive Lower Density for Hofstadter's $ab-1$ Problem

Abstract

Let $A$ be the smallest set of positive integers containing $2$ and $3$ such that $ab-1\in A$ whenever $a,b\in A$ are distinct. We prove that $A$ has positive lower density, answering a problem of Erd\H{o}s attributed to Hofstadter.