// requires valid arguments static long minWS(int Kprime, int T, int Al, int n) { // must cast to long because product may exceed Integer.MAX_VALUE return (long) SystematicIndices.ceil(Kprime) * subSymbolSize(T, Al, n); }