Constant MIN_REDUCTION_FACTOR
pub const MIN_REDUCTION_FACTOR: u32 = 2;Expand description
The smallest reduction factor that makes a ladder grow.
η = 1 would repeat the same resource level forever; a ladder needs at
least a doubling to have distinct rungs.