Autocorrelation and Kakeya constants

Step functions and finite sets that tighten autocorrelation and sum–difference constants (placeholder)