Christ–Kiselev maximal inequality (source code)

= Christ–Kiselev maximal inequality
{wiki=Christ–Kiselev_maximal_inequality}