下界が達成可能な典型というわけだ