Also so ein paar Tipps hätte ich :
a) Gibt es Zahlen K > 0 und a > 1 mit |f(x)| ≤ K|x|a  ∀ x ∈ I, so ist f in 0 differenzierbar. 
Da 0 aus I ist, ist jedenfalls |f(o)| ≤ K * o also f(0)=0
Dann Differenzenquotient bei x=0
f(x) - f(0) / x - 0  =    f(x) / x        und f(x) liegt zwischen   - K|x|a  und + K|x|a  
Dann kann man vielleicht mit Fallunterscheidungen x>0 und x<0 oder so den
Diff.quot. mit      - K|x|a-1  und + K|x|a-1  vergleichen ???
b) Gilt f(0) = 0, und gibt es K > 0 und a ∈ (0, 1) mit |f(x)| ≥ K|x|a  ∀ x ∈ I, so ist f in 0 NICHT differenzierbar. 
wegen  f(0) = 0 ist auch hier der Diff.quot wieder  f(x) / x und vermutlich wird der durch die
Bedingung t |f(x)| ≥ K|x|a  ∀ x ∈ I zu groß um einen Grenzwert für x gegen 0 zu haben.
Wie gesagt: Nur so ein paar Ideen, die mir durch den Kopf gingen.