Triangle inequality for pretentious distance (source code)

= Triangle inequality for pretentious distance

The pretentious distance obeys
$$
\mathbb D(f_1f_2,g_1g_2;x)
\leq\mathbb D(f_1,g_1;x)+\mathbb D(f_2,g_2;x).
$$