Text this: A triangle inequality for angles in a hilbert space