> <\body> <\hide-preamble> >>> >>> >>> >>> >>> \; >> >> >> >> >> >> >>> ,2>>> >> >> >> >> \; >> >> \; \; \; <\lemma> \; <\equation*> ||||||||||||||>|>>||>|||||> v v v>>|> v v>>|> v>>|>>>>>>>|\|2>+|~>|)>|\|>>>||>|||||> \ v F v>>|> F v>>|> v v F>>|> v F>>|>F>>|>>>>>>>||~>|)>|\|>>>||>|||||> \ v F F>>|> F F>>>>>>||~>|)>|\|>>>||>|||||>v>>|>v>>|>>>|>>>>>>>||~>|)>|\|>>>||>|>>||~>|)>|\|>>>||>|||||>>>|>>>>>>>||~>|)>|\|>>>||>|||||>F>>|>F>>>>>>||~>|)>|\|>>>||>|||||> F v v>>|>v v>>>>>>||~>|)>|\|>>>||d-1>|)>|2>--1|)>|)>+|~>|)>|\|>>>>>>>>||>|>v>||)>|4>+|~>|)>|\|>>>||>|||||>>>>>>>||6>+|~>|)>|\|>>>||>|> F>||6>+|~>|)>|\|>>>|--1|)>|)>+|~>|)>|\|>>>>>>>>||>|||||> \ F \ F F>>|> \ F F>>>>>>||6>+|~>|)>|\|>>>||2>--1|)>+|~>|)>|\|>>>>>>>>||>|||||> \ F F v>>|>F v>>>>>>||)>|4>+|~>|)>|\|>>>||)>|2>|)>|-2|)>>+|~>|)>|\|>>>||2>--1|)>+|~>|)>|\|>>>>>>>>||>|||||> \ F v F \ >>|> v F \ >>>>>>||)>|2>--1|)>|2>+|~>|)>|\|>>||-1|2>,>>||)>|2>|)>|-2|)>>+|~>|)>|\|>>|>|-1|2>-|2>\S\-1|2>.>>||~>|)>|\|>>||-1|2>-|2>>>>>>>>>>> Putting all together we get <\equation*> S\S|)>>||\\>>||)>|4>>|||2+>\\\>>||)>|-2|)>>>||\\\|2+>>>|-3-1|)>|2|)>>>||\>>>>> If \\> <\equation*> |||||6>>>>>> If \\\> <\equation*> |||||)>|4>>>>>> If |2+>\\\> <\equation*> |||||||||)>|4>>>>>>>>>>> If \\\|2+>> <\equation*> |||||||||)>|2>|)>|-2|)>>>>>>>>>>>> If \> <\equation*> |||||||||2>--1|)>>>>>>>>>>> \; \; <\initial> <\collection> <\references> <\collection> > > <\auxiliary> <\collection> <\associate|toc> |math-font-series||1.Nonlinear estimates> |.>>>>|>