Натуральные дроби, приближающаяся сверху в 4/3

[svv]

Для своего времени идея была неплохая, но сейчас я бы предложил что-то вроде

$$(P?\, a \mid b) = [P]a+[\overline{P}]b$$

Хотя в данном конкретном случае и скобки Айверсона неплохо смотрятся -- но это только потому, что надо делать выбор между $0$ и $1$.

$$|x|=(x\geqslant 0?\, x \mid -x)$$

[arseniiv]

(Оффтоп)

Надо ещё повысить давление воды в фонтане!

Уже можно заумные формулы писать: $\mathsf S[a, b]_{[P]} = (P \mathrel{?} a \mid b)$.