Manuscript Hawk02-B@2 · Hawk02-B.tex · corollary · 95ea744f
Corollary: Fixed event accuracy
Hamiltonian perturbations and finite-time certification › A compatible finite-time regime · lines 1032–1053 · proof included or linked
Hawk02-B@2#cor:fixedaccuracy
Suppose for each of events and the remaining allowances sum to . For , the sufficient conditions
are simultaneously feasible if
For , is sufficient.
Proof. The first condition holds for integers . For , the second holds up to the displayed integer upper bound. For it is independent of .
Displayed formulas in this passage
unlabeled · line 1037
unlabeled · line 1042