Regiomontanus' angle maximization problem