<?xml version="1.0" encoding="utf-8"?>
<svg:svg xmlns="http://www.w3.org/1998/Math/MathML" xmlns:svg="http://www.w3.org/2000/svg" height="25.019506pt" width="512.491507pt" xmlns:svgmath="http://www.grigoriev.ru/svgmath" viewBox="0 -16.494128 512.491507 25.019506"><svg:metadata><svgmath:metrics top="25.0195060755" axis="12.5097530377" baseline="8.52537803773" bottom="0.0"/></svg:metadata><svg:text font-size="12.000000" text-anchor="middle" y="0.000000" x="3.735352" font-family="Times New Roman" font-style="italic" fill="black">f</svg:text><svg:g transform="translate(7.746094, 0.000000)"><svg:g transform="translate(0.000000, -3.984375)"><svg:text font-size="12.012889" transform="scale(0.998927, 1)" text-anchor="middle" y="3.981593" x="2.000193" font-family="Times New Roman" fill="black">(</svg:text></svg:g><svg:g transform="translate(3.996094, 0.000000)"><svg:text font-size="12.000000" text-anchor="middle" y="0.000000" x="2.663086" font-family="Times New Roman" font-style="italic" fill="black">k</svg:text><svg:g transform="translate(5.853516, -3.984375)"><svg:text font-size="12.000000" text-anchor="middle" y="3.984375" x="1.666992" font-family="Times New Roman" fill="black">;</svg:text></svg:g><svg:g transform="translate(12.520836, 0.000000)"><svg:text font-size="12.000000" text-anchor="middle" y="0.000000" x="2.334961" font-family="Times New Roman" font-style="italic" fill="black">r</svg:text></svg:g><svg:g transform="translate(17.378258, -3.984375)"><svg:text font-size="12.000000" text-anchor="middle" y="3.984375" x="1.500000" font-family="Times New Roman" fill="black">,</svg:text></svg:g><svg:g transform="translate(24.378254, 0.000000)"><svg:text font-size="12.000000" text-anchor="middle" y="0.000000" x="3.000000" font-family="Times New Roman" font-style="italic" fill="black">n</svg:text></svg:g><svg:g transform="translate(30.378254, -3.984375)"><svg:text font-size="12.000000" text-anchor="middle" y="3.984375" x="1.500000" font-family="Times New Roman" fill="black">,</svg:text></svg:g><svg:g transform="translate(37.378250, 0.000000)"><svg:text font-size="12.000000" text-anchor="middle" y="0.000000" x="4.335938" font-family="Times New Roman" font-style="italic" fill="black">N</svg:text></svg:g></svg:g><svg:g transform="translate(50.848953, -3.984375)"><svg:text font-size="12.012889" transform="scale(0.998927, 1)" text-anchor="middle" y="3.981593" x="2.000193" font-family="Times New Roman" fill="black">)</svg:text></svg:g></svg:g><svg:g transform="translate(62.591140, 0.000000)"/><svg:g transform="translate(77.924476, -3.984375)"><svg:text font-size="12.000000" text-anchor="middle" y="3.984375" x="3.383789" font-family="Times New Roman" fill="black">=</svg:text></svg:g><svg:g transform="translate(88.025391, 0.000000)"/><svg:g transform="translate(100.611328, -3.984375)"><svg:g transform="translate(37.105135, -4.165990)"><svg:text font-size="12.000000" text-anchor="middle" y="0.000000" x="3.000000" font-family="Times New Roman" font-style="italic" fill="black">n</svg:text><svg:g transform="translate(7.333332, -3.984375)"><svg:text font-size="12.000000" text-anchor="middle" y="3.984375" x="1.998047" font-family="Times New Roman" fill="black">!</svg:text></svg:g><svg:g transform="translate(11.329426, 0.000000)"><svg:text font-size="12.000000" text-anchor="middle" y="0.000000" x="2.334961" font-family="Times New Roman" font-style="italic" fill="black">r</svg:text></svg:g><svg:g transform="translate(17.520180, -3.984375)"><svg:text font-size="12.000000" text-anchor="middle" y="3.984375" x="1.998047" font-family="Times New Roman" fill="black">!</svg:text></svg:g><svg:g transform="translate(21.516273, 0.000000)"><svg:g transform="translate(0.000000, -3.984375)"><svg:text font-size="12.012889" transform="scale(0.998927, 1)" text-anchor="middle" y="3.981593" x="2.000193" font-family="Times New Roman" fill="black">(</svg:text></svg:g><svg:g transform="translate(3.996094, 0.000000)"><svg:text font-size="12.000000" text-anchor="middle" y="0.000000" x="4.335938" font-family="Times New Roman" font-style="italic" fill="black">N</svg:text><svg:g transform="translate(12.141273, -3.984375)"><svg:text font-size="12.000000" text-anchor="middle" y="3.984375" x="3.383789" font-family="Times New Roman" fill="black">−</svg:text></svg:g><svg:g transform="translate(21.575516, 0.000000)"><svg:text font-size="12.000000" text-anchor="middle" y="0.000000" x="3.000000" font-family="Times New Roman" font-style="italic" fill="black">n</svg:text></svg:g></svg:g><svg:g transform="translate(31.571609, -3.984375)"><svg:text font-size="12.012889" transform="scale(0.998927, 1)" text-anchor="middle" y="3.981593" x="2.000193" font-family="Times New Roman" fill="black">)</svg:text></svg:g></svg:g><svg:g transform="translate(58.417308, -3.984375)"><svg:text font-size="12.000000" text-anchor="middle" y="3.984375" x="1.998047" font-family="Times New Roman" fill="black">!</svg:text></svg:g><svg:g transform="translate(62.413402, 0.000000)"><svg:g transform="translate(0.000000, -3.984375)"><svg:text font-size="12.012889" transform="scale(0.998927, 1)" text-anchor="middle" y="3.981593" x="2.000193" font-family="Times New Roman" fill="black">(</svg:text></svg:g><svg:g transform="translate(3.996094, 0.000000)"><svg:text font-size="12.000000" text-anchor="middle" y="0.000000" x="4.335938" font-family="Times New Roman" font-style="italic" fill="black">N</svg:text><svg:g transform="translate(12.141273, -3.984375)"><svg:text font-size="12.000000" text-anchor="middle" y="3.984375" x="3.383789" font-family="Times New Roman" fill="black">−</svg:text></svg:g><svg:g transform="translate(21.575516, 0.000000)"><svg:text font-size="12.000000" text-anchor="middle" y="0.000000" x="2.334961" font-family="Times New Roman" font-style="italic" fill="black">r</svg:text></svg:g></svg:g><svg:g transform="translate(30.429031, -3.984375)"><svg:text font-size="12.012889" transform="scale(0.998927, 1)" text-anchor="middle" y="3.981593" x="2.000193" font-family="Times New Roman" fill="black">)</svg:text></svg:g></svg:g><svg:g transform="translate(98.171859, -3.984375)"><svg:text font-size="12.000000" text-anchor="middle" y="3.984375" x="1.998047" font-family="Times New Roman" fill="black">!</svg:text></svg:g></svg:g><svg:g transform="translate(0.585938, 9.943372)"><svg:text font-size="12.000000" text-anchor="middle" y="0.000000" x="4.335938" font-family="Times New Roman" font-style="italic" fill="black">N</svg:text><svg:g transform="translate(10.807941, -3.984375)"><svg:text font-size="12.000000" text-anchor="middle" y="3.984375" x="1.998047" font-family="Times New Roman" fill="black">!</svg:text></svg:g><svg:g transform="translate(14.804035, 0.000000)"><svg:text font-size="12.000000" text-anchor="middle" y="0.000000" x="2.663086" font-family="Times New Roman" font-style="italic" fill="black">k</svg:text></svg:g><svg:g transform="translate(21.990883, -3.984375)"><svg:text font-size="12.000000" text-anchor="middle" y="3.984375" x="1.998047" font-family="Times New Roman" fill="black">!</svg:text></svg:g><svg:g transform="translate(25.986976, 0.000000)"><svg:g transform="translate(0.000000, -3.984375)"><svg:text font-size="12.012889" transform="scale(0.998927, 1)" text-anchor="middle" y="3.981593" x="2.000193" font-family="Times New Roman" fill="black">(</svg:text></svg:g><svg:g transform="translate(3.996094, 0.000000)"><svg:text font-size="12.000000" text-anchor="middle" y="0.000000" x="3.000000" font-family="Times New Roman" font-style="italic" fill="black">n</svg:text><svg:g transform="translate(8.666664, -3.984375)"><svg:text font-size="12.000000" text-anchor="middle" y="3.984375" x="3.383789" font-family="Times New Roman" fill="black">−</svg:text></svg:g><svg:g transform="translate(18.100906, 0.000000)"><svg:text font-size="12.000000" text-anchor="middle" y="0.000000" x="2.663086" font-family="Times New Roman" font-style="italic" fill="black">k</svg:text></svg:g></svg:g><svg:g transform="translate(27.950516, -3.984375)"><svg:text font-size="12.012889" transform="scale(0.998927, 1)" text-anchor="middle" y="3.981593" x="2.000193" font-family="Times New Roman" fill="black">)</svg:text></svg:g></svg:g><svg:g transform="translate(59.266918, -3.984375)"><svg:text font-size="12.000000" text-anchor="middle" y="3.984375" x="1.998047" font-family="Times New Roman" fill="black">!</svg:text></svg:g><svg:g transform="translate(63.263011, 0.000000)"><svg:g transform="translate(0.000000, -3.984375)"><svg:text font-size="12.012889" transform="scale(0.998927, 1)" text-anchor="middle" y="3.981593" x="2.000193" font-family="Times New Roman" fill="black">(</svg:text></svg:g><svg:g transform="translate(3.996094, 0.000000)"><svg:text font-size="12.000000" text-anchor="middle" y="0.000000" x="2.334961" font-family="Times New Roman" font-style="italic" fill="black">r</svg:text><svg:g transform="translate(7.524086, -3.984375)"><svg:text font-size="12.000000" text-anchor="middle" y="3.984375" x="3.383789" font-family="Times New Roman" fill="black">−</svg:text></svg:g><svg:g transform="translate(16.958328, 0.000000)"><svg:text font-size="12.000000" text-anchor="middle" y="0.000000" x="2.663086" font-family="Times New Roman" font-style="italic" fill="black">k</svg:text></svg:g></svg:g><svg:g transform="translate(26.807937, -3.984375)"><svg:text font-size="12.012889" transform="scale(0.998927, 1)" text-anchor="middle" y="3.981593" x="2.000193" font-family="Times New Roman" fill="black">)</svg:text></svg:g></svg:g><svg:g transform="translate(95.400375, -3.984375)"><svg:text font-size="12.000000" text-anchor="middle" y="3.984375" x="1.998047" font-family="Times New Roman" fill="black">!</svg:text></svg:g><svg:g transform="translate(99.396468, 0.000000)"><svg:g transform="translate(0.000000, -3.984375)"><svg:text font-size="12.012889" transform="scale(0.998927, 1)" text-anchor="middle" y="3.981593" x="2.000193" font-family="Times New Roman" fill="black">(</svg:text></svg:g><svg:g transform="translate(3.996094, 0.000000)"><svg:text font-size="12.000000" text-anchor="middle" y="0.000000" x="4.335938" font-family="Times New Roman" font-style="italic" fill="black">N</svg:text><svg:g transform="translate(12.141273, -3.984375)"><svg:text font-size="12.000000" text-anchor="middle" y="3.984375" x="3.383789" font-family="Times New Roman" fill="black">−</svg:text></svg:g><svg:g transform="translate(21.575516, 0.000000)"><svg:text font-size="12.000000" text-anchor="middle" y="0.000000" x="3.000000" font-family="Times New Roman" font-style="italic" fill="black">n</svg:text></svg:g><svg:g transform="translate(30.242180, -3.984375)"><svg:text font-size="12.000000" text-anchor="middle" y="3.984375" x="3.383789" font-family="Times New Roman" fill="black">−</svg:text></svg:g><svg:g transform="translate(39.676422, 0.000000)"><svg:text font-size="12.000000" text-anchor="middle" y="0.000000" x="2.334961" font-family="Times New Roman" font-style="italic" fill="black">r</svg:text></svg:g><svg:g transform="translate(47.200508, -3.984375)"><svg:text font-size="12.000000" text-anchor="middle" y="3.984375" x="3.383789" font-family="Times New Roman" fill="black">+</svg:text></svg:g><svg:g transform="translate(56.634750, 0.000000)"><svg:text font-size="12.000000" text-anchor="middle" y="0.000000" x="2.663086" font-family="Times New Roman" font-style="italic" fill="black">k</svg:text></svg:g></svg:g><svg:g transform="translate(66.484359, -3.984375)"><svg:text font-size="12.012889" transform="scale(0.998927, 1)" text-anchor="middle" y="3.981593" x="2.000193" font-family="Times New Roman" fill="black">)</svg:text></svg:g></svg:g><svg:g transform="translate(171.210253, -3.984375)"><svg:text font-size="12.000000" text-anchor="middle" y="3.984375" x="1.998047" font-family="Times New Roman" fill="black">!</svg:text></svg:g></svg:g><svg:line stroke-width="0.585938" x1="0.000000" y1="0.000000" stroke="black" stroke-linecap="butt" stroke-dasharray="none" x2="176.378222" y2="0.000000" fill="none"/></svg:g><svg:g transform="translate(277.575488, 0.000000)"/><svg:g transform="translate(289.575488, -3.984375)"><svg:text font-size="12.000000" text-anchor="middle" y="3.984375" x="1.666992" font-family="Times New Roman" fill="black">;</svg:text></svg:g><svg:g transform="translate(296.242808, 0.000000)"/><svg:g transform="translate(308.242808, 0.000000)"><svg:text font-size="12.000000" text-anchor="middle" y="0.000000" x="10.330078" font-family="Times New Roman" fill="black">max</svg:text></svg:g><svg:g transform="translate(328.902964, 0.000000)"><svg:g transform="translate(0.000000, -3.984375)"><svg:text font-size="12.012889" transform="scale(0.998927, 1)" text-anchor="middle" y="3.981593" x="2.000193" font-family="Times New Roman" fill="black">(</svg:text></svg:g><svg:g transform="translate(3.996094, 0.000000)"><svg:text font-size="12.000000" text-anchor="middle" y="0.000000" x="4.500000" font-family="Times New Roman" fill="black">0,</svg:text><svg:g transform="translate(9.000000, 0.000000)"><svg:text font-size="12.000000" text-anchor="middle" y="0.000000" x="4.335938" font-family="Times New Roman" font-style="italic" fill="black">N</svg:text></svg:g><svg:g transform="translate(21.141273, -3.984375)"><svg:text font-size="12.000000" text-anchor="middle" y="3.984375" x="3.383789" font-family="Times New Roman" fill="black">−</svg:text></svg:g><svg:g transform="translate(30.575516, 0.000000)"><svg:text font-size="12.000000" text-anchor="middle" y="0.000000" x="2.334961" font-family="Times New Roman" font-style="italic" fill="black">r</svg:text></svg:g><svg:g transform="translate(38.099601, -3.984375)"><svg:text font-size="12.000000" text-anchor="middle" y="3.984375" x="3.383789" font-family="Times New Roman" fill="black">−</svg:text></svg:g><svg:g transform="translate(47.533844, 0.000000)"><svg:text font-size="12.000000" text-anchor="middle" y="0.000000" x="3.000000" font-family="Times New Roman" font-style="italic" fill="black">n</svg:text></svg:g><svg:g transform="translate(56.200508, -3.984375)"><svg:text font-size="12.000000" text-anchor="middle" y="3.984375" x="3.383789" font-family="Times New Roman" fill="black">+</svg:text></svg:g><svg:g transform="translate(65.634750, 0.000000)"><svg:text font-size="12.000000" text-anchor="middle" y="0.000000" x="2.663086" font-family="Times New Roman" font-style="italic" fill="black">k</svg:text></svg:g></svg:g><svg:g transform="translate(75.484359, -3.984375)"><svg:text font-size="12.012889" transform="scale(0.998927, 1)" text-anchor="middle" y="3.981593" x="2.000193" font-family="Times New Roman" fill="black">)</svg:text></svg:g></svg:g><svg:g transform="translate(411.716753, -3.984375)"><svg:text font-size="12.000000" text-anchor="middle" y="3.984375" x="3.383789" font-family="Times New Roman" fill="black">&lt;</svg:text></svg:g><svg:g transform="translate(425.151003, -3.984375)"><svg:text font-size="12.000000" text-anchor="middle" y="3.984375" x="3.383789" font-family="Times New Roman" fill="black">=</svg:text></svg:g><svg:g transform="translate(435.251917, 0.000000)"><svg:text font-size="12.000000" text-anchor="middle" y="0.000000" x="2.663086" font-family="Times New Roman" font-style="italic" fill="black">k</svg:text></svg:g><svg:g transform="translate(444.438769, -3.984375)"><svg:text font-size="12.000000" text-anchor="middle" y="3.984375" x="3.383789" font-family="Times New Roman" fill="black">&lt;</svg:text></svg:g><svg:g transform="translate(457.873019, -3.984375)"><svg:text font-size="12.000000" text-anchor="middle" y="3.984375" x="3.383789" font-family="Times New Roman" fill="black">=</svg:text></svg:g><svg:g transform="translate(467.973933, 0.000000)"><svg:text font-size="12.000000" text-anchor="middle" y="0.000000" x="9.333984" font-family="Times New Roman" fill="black">min</svg:text></svg:g><svg:g transform="translate(486.641902, 0.000000)"><svg:g transform="translate(0.000000, -3.984375)"><svg:text font-size="12.012889" transform="scale(0.998927, 1)" text-anchor="middle" y="3.981593" x="2.000193" font-family="Times New Roman" fill="black">(</svg:text></svg:g><svg:g transform="translate(3.996094, 0.000000)"><svg:text font-size="12.000000" text-anchor="middle" y="0.000000" x="2.334961" font-family="Times New Roman" font-style="italic" fill="black">r</svg:text><svg:g transform="translate(4.857422, -3.984375)"><svg:text font-size="12.000000" text-anchor="middle" y="3.984375" x="1.500000" font-family="Times New Roman" fill="black">,</svg:text></svg:g><svg:g transform="translate(11.857418, 0.000000)"><svg:text font-size="12.000000" text-anchor="middle" y="0.000000" x="3.000000" font-family="Times New Roman" font-style="italic" fill="black">n</svg:text></svg:g></svg:g><svg:g transform="translate(21.853512, -3.984375)"><svg:text font-size="12.012889" transform="scale(0.998927, 1)" text-anchor="middle" y="3.981593" x="2.000193" font-family="Times New Roman" fill="black">)</svg:text></svg:g></svg:g></svg:svg>