Talk:Regiomontanus' angle maximization problem