Point detail
TR
max
≥
TR
pr
(i.e. line (1) shall not be below line (3)), and
a0c0