Angle between two line segments connected to a point rotating on a circle

Angle upper bound:

The two points are generated randomly. Click the "Update" button to get a different configuration.