zzzcy receives one +2 proof award. These instances close with submissions and record holders preserved; n ≥ 9 remains open.
P94: n = 1–8 proved optimal
Proof by zzzcy #308 adopted. Both continuous and nine-decimal optima verified; historical records preserved.