Optimal 5-step nilpotent quadratic algebras

By the Golod–Shafarevich theorem, an associative algebra $R$ given by $n$ generators and $<n^2/3$ homogeneous quadratic relations is not 5-step nilpotent. We prove that this estimate is optimal. Namely, we show that for every positive integer $n$, there is an algebra $R$ given by $n$ generators and $\lceil n^2/3\rceil$ homogeneous quadratic relations such that $R$ is 5-step nilpotent.