User blog comment:Hyp cos/Analysis - BEAF, FGH and SGH (part 1)/@comment-5150073-20131024160701/@comment-5150073-20131025073514

This rule applies iff terms are decreasing, i.e. αm<αn when m>n.