[math-fun] sunflower lattice local approximation theorem