The absolute statement which started this was "the edge angle is always within the arc of a convexed grind." This absolute statement has NOT been proven to any degree.
When someone asks if the edge angle is on or within the arc of a convexed grind on a knife, the most anyone can say is "undefined."
I wouldn't go that far.
Assuming a pure mathematical representation of a convex edge with, as most of the pictures on this thread have been with the apex pointing straight up, then mathematically speaking, we could talk about the angle at the apex in one of 3 ways:
FROM THE LEFT - We can talk about the slope of the tangent at the apex as we approach from the left. Semi formally, we would have
lim f'(a) as x->a- (from the left), where a is the apex = say, 15 degrees in one direction.
FROM THE RIGHT - We can do the same from the right and have
lim f'(a) as x->a+ (from the right) = say, 15 degrees in the other direction.
AT THE APEX - But when we consider the (mathematically idealized) slope of the tangent at the apex then we have
f'(a) = undefined, since lim f'(a) as x->a- <> lim f'(a) as x->a+
In English, if the slope of the tangent at x=a is different depending on approaching from the right or the left, then there is no tangent line at x=a.
But, Chiral.Golum makes a great point. We're not talking about Calculus class, not matter how fun that is. We're talking about actual knives made of actual materials - materials that deform when being sharpened. The pictures don't lie. Magnify the most precisely formed apex and what you see is a rounded apex.
So, where does this leave us?
Where it leaves me is wanting to define "apex" in terms of a discrete approximation based on some delta x. If we could agree on a delta x value on which we can define "apex", then we can use one of several methods to defined a discrete approximation to the edge angle at the apex (as defined by the delta x). There are a variety of methods to do that. And Chiral is correct, all of them will be based on the width of the edge behind the actual apex (over the prescribed interval defined by the agreed upon delta x).
Angels are infinitesimally small. Smaller that 6000 grit. I just posted calculus to a knife forum and need a beer.